Skip to content

Actions: Blackfeather007/Filtered_Ring

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
165 workflow runs
165 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

inhabited Compile blueprint #45: Commit 15d2779 pushed by Yu-Misaka
October 6, 2024 16:24 37m 53s main
main
October 6, 2024 16:24 37m 53s
Merge branch 'main' of https://github.com/Blackfeather007/Filtered_Ring Lean Action CI #45: Commit eb09227 pushed by Yu-Misaka
October 6, 2024 15:44 1m 35s main
main
October 6, 2024 15:44 1m 35s
Merge branch 'main' of https://github.com/Blackfeather007/Filtered_Ring Compile blueprint #44: Commit eb09227 pushed by Yu-Misaka
October 6, 2024 15:44 38m 54s main
main
October 6, 2024 15:44 38m 54s
Create graded_test.lean Compile blueprint #43: Commit b2c219c pushed by Blackfeather007
October 6, 2024 14:49 38m 57s main
main
October 6, 2024 14:49 38m 57s
Create graded_test.lean Lean Action CI #44: Commit b2c219c pushed by Blackfeather007
October 6, 2024 14:49 1m 27s main
main
October 6, 2024 14:49 1m 27s
concrete cat✔️👻 Lean Action CI #43: Commit e2e398b pushed by Yu-Misaka
October 6, 2024 12:29 1m 28s main
main
October 6, 2024 12:29 1m 28s
concrete cat✔️👻 Compile blueprint #42: Commit e2e398b pushed by Yu-Misaka
October 6, 2024 12:29 38m 5s main
main
October 6, 2024 12:29 38m 5s
Merge branch 'main' of https://github.com/Blackfeather007/Filtered_Ring Lean Action CI #42: Commit 0eb9082 pushed by Yu-Misaka
October 6, 2024 12:07 1m 32s main
main
October 6, 2024 12:07 1m 32s
Merge branch 'main' of https://github.com/Blackfeather007/Filtered_Ring Compile blueprint #41: Commit 0eb9082 pushed by Yu-Misaka
October 6, 2024 12:07 37m 30s main
main
October 6, 2024 12:07 37m 30s
cleanup, polynomial Compile blueprint #40: Commit ae1bd48 pushed by FR-vdash-bot
October 6, 2024 08:05 39m 45s main
main
October 6, 2024 08:05 39m 45s
cleanup, polynomial Lean Action CI #41: Commit ae1bd48 pushed by FR-vdash-bot
October 6, 2024 08:05 1m 37s main
main
October 6, 2024 08:05 1m 37s
Add trivial filtration for rings and modules Compile blueprint #39: Commit 3760ec1 pushed by AlbertJ-314
October 6, 2024 07:40 38m 38s main
main
October 6, 2024 07:40 38m 38s
Add trivial filtration for rings and modules Lean Action CI #40: Commit 3760ec1 pushed by AlbertJ-314
October 6, 2024 07:40 1m 32s main
main
October 6, 2024 07:40 1m 32s
Merge branch 'main' of https://github.com/Blackfeather007/Filtered_Ring Compile blueprint #38: Commit 0c4c1e3 pushed by Yu-Misaka
October 6, 2024 07:00 39m 37s main
main
October 6, 2024 07:00 39m 37s
Merge branch 'main' of https://github.com/Blackfeather007/Filtered_Ring Lean Action CI #39: Commit 0c4c1e3 pushed by Yu-Misaka
October 6, 2024 07:00 1m 30s main
main
October 6, 2024 07:00 1m 30s
Update Basic.lean Lean Action CI #38: Commit 5a0fdbf pushed by Blackfeather007
October 6, 2024 06:54 1m 37s main
main
October 6, 2024 06:54 1m 37s
Update Basic.lean Compile blueprint #37: Commit 5a0fdbf pushed by Blackfeather007
October 6, 2024 06:54 38m 52s main
main
October 6, 2024 06:54 38m 52s
Merge branch 'main' of https://github.com/Blackfeather007/Filtered_Ring Lean Action CI #37: Commit 80bbd4f pushed by Old-Turtledove
October 6, 2024 06:39 1m 54s main
main
October 6, 2024 06:39 1m 54s
Merge branch 'main' of https://github.com/Blackfeather007/Filtered_Ring Compile blueprint #36: Commit 80bbd4f pushed by Old-Turtledove
October 6, 2024 06:39 39m 8s main
main
October 6, 2024 06:39 39m 8s
Merge branch 'main' of https://github.com/Blackfeather007/Filtered_Ring Lean Action CI #36: Commit 6f7223b pushed by Yu-Misaka
October 6, 2024 06:18 1m 56s main
main
October 6, 2024 06:18 1m 56s
Merge branch 'main' of https://github.com/Blackfeather007/Filtered_Ring Compile blueprint #35: Commit 6f7223b pushed by Yu-Misaka
October 6, 2024 06:18 39m 30s main
main
October 6, 2024 06:18 39m 30s
Update category.lean Lean Action CI #35: Commit 74fe064 pushed by AlbertJ-314
October 6, 2024 04:20 1m 51s main
main
October 6, 2024 04:20 1m 51s
Update category.lean Compile blueprint #34: Commit 74fe064 pushed by AlbertJ-314
October 6, 2024 04:20 39m 14s main
main
October 6, 2024 04:20 39m 14s
fix Lean Action CI #34: Commit 939d96e pushed by Blackfeather007
October 6, 2024 03:54 1m 29s main
main
October 6, 2024 03:54 1m 29s
fix Compile blueprint #33: Commit 939d96e pushed by Blackfeather007
October 6, 2024 03:54 38m 3s main
main
October 6, 2024 03:54 38m 3s