Skip to content

Actions: Blackfeather007/Filtered_Ring

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
360 workflow runs
360 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

filtered ring of filtered algebra Compile blueprint #93: Commit e00c7f8 pushed by Yu-Misaka
38m 50s main
main
38m 50s
Create draft.lean Compile blueprint #92: Commit 46dd751 pushed by AlbertJ-314
39m 4s main
main
39m 4s
Create draft.lean Lean Action CI #110: Commit 46dd751 pushed by AlbertJ-314
1m 28s main
main
1m 28s
FilteredMod Lean Action CI #109: Commit 32c518b pushed by yuanyi-350
1m 29s main
main
1m 29s
FilteredMod Compile blueprint #91: Commit 32c518b pushed by yuanyi-350
39m 9s main
main
39m 9s
Update FIlteredRIng_fil_map_range.lean Compile blueprint #90: Commit 1c16d0f pushed by yuanyi-350
43m 1s main
main
43m 1s
Update FIlteredRIng_fil_map_range.lean Lean Action CI #108: Commit 1c16d0f pushed by yuanyi-350
1m 30s main
main
1m 30s
Update graded.lean Compile blueprint #89: Commit 98c971d pushed by AlbertJ-314
40m 0s main
main
40m 0s
Update graded.lean Lean Action CI #107: Commit 98c971d pushed by AlbertJ-314
2m 0s main
main
2m 0s
Change name Lean Action CI #106: Commit 56bbac6 pushed by AlbertJ-314
1m 33s main
main
1m 33s
Change name Compile blueprint #88: Commit 56bbac6 pushed by AlbertJ-314
39m 0s main
main
39m 0s
Update FIlteredRIng_fil_map_range.lean Lean Action CI #105: Commit 6148b1c pushed by yuanyi-350
1m 31s main
main
1m 31s
Update FIlteredRIng_fil_map_range.lean Compile blueprint #87: Commit 6148b1c pushed by yuanyi-350
38m 43s main
main
38m 43s
Finish Tensor Compile blueprint #86: Commit 77fb303 pushed by AlbertJ-314
39m 58s main
main
39m 58s
Finish Tensor Lean Action CI #104: Commit 77fb303 pushed by AlbertJ-314
1m 29s main
main
1m 29s
Update tensor.lean Lean Action CI #103: Commit df74bcc pushed by AlbertJ-314
1m 29s main
main
1m 29s
Update tensor.lean Compile blueprint #85: Commit df74bcc pushed by AlbertJ-314
38m 37s main
main
38m 37s
Update tensor.lean Compile blueprint #84: Commit 6696783 pushed by AlbertJ-314
39m 42s main
main
39m 42s
Update tensor.lean Lean Action CI #102: Commit 6696783 pushed by AlbertJ-314
2m 5s main
main
2m 5s
Update tensor.lean Lean Action CI #101: Commit b4d6f9e pushed by AlbertJ-314
1m 28s main
main
1m 28s
Update tensor.lean Compile blueprint #83: Commit b4d6f9e pushed by AlbertJ-314
39m 26s main
main
39m 26s
Update tensor.lean Compile blueprint #82: Commit 27e61c1 pushed by AlbertJ-314
39m 20s main
main
39m 20s
Update tensor.lean Lean Action CI #100: Commit 27e61c1 pushed by AlbertJ-314
1m 30s main
main
1m 30s
Update tensor.lean Compile blueprint #81: Commit 312606e pushed by AlbertJ-314
38m 30s main
main
38m 30s
Update tensor.lean Lean Action CI #99: Commit 312606e pushed by AlbertJ-314
1m 29s main
main
1m 29s
ProTip! You can narrow down the results and go further in time using created:<2024-11-17 or the other filters available.