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

clean up Compile blueprint #32: Commit bafdb6c pushed by Blackfeather007
October 6, 2024 03:49 38m 15s main
main
October 6, 2024 03:49 38m 15s
clean up Lean Action CI #33: Commit bafdb6c pushed by Blackfeather007
October 6, 2024 03:49 1m 28s main
main
October 6, 2024 03:49 1m 28s
Update graded.lean Lean Action CI #32: Commit b0f57bf pushed by yuanyi-350
October 6, 2024 03:38 1m 30s main
main
October 6, 2024 03:38 1m 30s
Update graded.lean Compile blueprint #31: Commit b0f57bf pushed by yuanyi-350
October 6, 2024 03:38 37m 47s main
main
October 6, 2024 03:38 37m 47s
Update graded.lean Lean Action CI #31: Commit 0841bd5 pushed by yuanyi-350
October 6, 2024 03:18 1m 52s main
main
October 6, 2024 03:18 1m 52s
Update graded.lean Compile blueprint #30: Commit 0841bd5 pushed by yuanyi-350
October 6, 2024 03:18 39m 4s main
main
October 6, 2024 03:18 39m 4s
Merge branch 'main' of https://github.com/Blackfeather007/Filtered_Ring Compile blueprint #29: Commit 06fb1cc pushed by yuanyi-350
October 6, 2024 02:48 39m 29s main
main
October 6, 2024 02:48 39m 29s
Merge branch 'main' of https://github.com/Blackfeather007/Filtered_Ring Lean Action CI #30: Commit 06fb1cc pushed by yuanyi-350
October 6, 2024 02:48 1m 57s main
main
October 6, 2024 02:48 1m 57s
Merge branch 'main' of https://github.com/Blackfeather007/Filtered_Ring Lean Action CI #29: Commit 67941f4 pushed by Old-Turtledove
October 6, 2024 02:27 1m 29s main
main
October 6, 2024 02:27 1m 29s
Merge branch 'main' of https://github.com/Blackfeather007/Filtered_Ring Compile blueprint #28: Commit 67941f4 pushed by Old-Turtledove
October 6, 2024 02:27 39m 16s main
main
October 6, 2024 02:27 39m 16s
Merge branch 'main' of https://github.com/Blackfeather007/Filtered_Ring Lean Action CI #28: Commit c9cc4c2 pushed by Thmoas-Guan
October 6, 2024 02:11 1m 29s main
main
October 6, 2024 02:11 1m 29s
Merge branch 'main' of https://github.com/Blackfeather007/Filtered_Ring Compile blueprint #27: Commit c9cc4c2 pushed by Thmoas-Guan
October 6, 2024 02:11 37m 57s main
main
October 6, 2024 02:11 37m 57s
universe Compile blueprint #26: Commit b4709d1 pushed by Yu-Misaka
October 6, 2024 01:26 39m 40s main
main
October 6, 2024 01:26 39m 40s
universe Lean Action CI #27: Commit b4709d1 pushed by Yu-Misaka
October 6, 2024 01:26 2m 8s main
main
October 6, 2024 01:26 2m 8s
42 Compile blueprint #25: Commit ae07f43 pushed by Yu-Misaka
October 5, 2024 16:28 37m 55s main
main
October 5, 2024 16:28 37m 55s
42 Lean Action CI #26: Commit ae07f43 pushed by Yu-Misaka
October 5, 2024 16:28 2m 4s main
main
October 5, 2024 16:28 2m 4s
37 Lean Action CI #25: Commit 44c21cf pushed by Yu-Misaka
October 5, 2024 16:08 1m 34s main
main
October 5, 2024 16:08 1m 34s
37 Compile blueprint #24: Commit 44c21cf pushed by Yu-Misaka
October 5, 2024 16:08 38m 2s main
main
October 5, 2024 16:08 38m 2s
Merge branch 'main' of https://github.com/Blackfeather007/Filtered_Ring Compile blueprint #23: Commit 0002569 pushed by Yu-Misaka
October 5, 2024 15:53 39m 23s main
main
October 5, 2024 15:53 39m 23s
Merge branch 'main' of https://github.com/Blackfeather007/Filtered_Ring Lean Action CI #24: Commit 0002569 pushed by Yu-Misaka
October 5, 2024 15:53 1m 27s main
main
October 5, 2024 15:53 1m 27s
Merge branch 'main' of https://github.com/Blackfeather007/Filtered_Ring Lean Action CI #23: Commit a9f324e pushed by Blackfeather007
October 5, 2024 15:33 1m 58s main
main
October 5, 2024 15:33 1m 58s
Merge branch 'main' of https://github.com/Blackfeather007/Filtered_Ring Compile blueprint #22: Commit a9f324e pushed by Blackfeather007
October 5, 2024 15:33 39m 4s main
main
October 5, 2024 15:33 39m 4s
fix name Compile blueprint #21: Commit 86ccc3f pushed by Yu-Misaka
October 5, 2024 14:41 39m 36s main
main
October 5, 2024 14:41 39m 36s
fix name Lean Action CI #22: Commit 86ccc3f pushed by Yu-Misaka
October 5, 2024 14:41 1m 52s main
main
October 5, 2024 14:41 1m 52s
morphisms form a additive commutative group Compile blueprint #20: Commit 6996a7c pushed by Yu-Misaka
October 5, 2024 14:38 37m 41s main
main
October 5, 2024 14:38 37m 41s