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

morphisms form a additive commutative group Lean Action CI #21: Commit 6996a7c pushed by Yu-Misaka
October 5, 2024 14:38 1m 53s main
main
October 5, 2024 14:38 1m 53s
Finished gradedMul Compile blueprint #19: Commit e640564 pushed by Blackfeather007
October 5, 2024 14:08 40m 5s main
main
October 5, 2024 14:08 40m 5s
Finished gradedMul Lean Action CI #20: Commit e640564 pushed by Blackfeather007
October 5, 2024 14:08 1m 33s main
main
October 5, 2024 14:08 1m 33s
Update graded.lean Lean Action CI #19: Commit 115d07b pushed by Blackfeather007
October 5, 2024 12:25 1m 55s main
main
October 5, 2024 12:25 1m 55s
Update graded.lean Compile blueprint #18: Commit 115d07b pushed by Blackfeather007
October 5, 2024 12:25 38m 5s main
main
October 5, 2024 12:25 38m 5s
Merge branch 'main' of https://github.com/Blackfeather007/Filtered_Ring Lean Action CI #18: Commit 74f0a25 pushed by Blackfeather007
October 5, 2024 10:54 1m 54s main
main
October 5, 2024 10:54 1m 54s
Merge branch 'main' of https://github.com/Blackfeather007/Filtered_Ring Compile blueprint #17: Commit 74f0a25 pushed by Blackfeather007
October 5, 2024 10:54 38m 11s main
main
October 5, 2024 10:54 38m 11s
Please simplify this! Compile blueprint #16: Commit 8258389 pushed by Yu-Misaka
October 5, 2024 10:39 37m 49s main
main
October 5, 2024 10:39 37m 49s
Please simplify this! Lean Action CI #17: Commit 8258389 pushed by Yu-Misaka
October 5, 2024 10:39 1m 32s main
main
October 5, 2024 10:39 1m 32s
Merge branch 'main' of https://github.com/Blackfeather007/Filtered_Ring Compile blueprint #15: Commit 83ba9dd pushed by Blackfeather007
October 5, 2024 10:25 38m 34s main
main
October 5, 2024 10:25 38m 34s
Merge branch 'main' of https://github.com/Blackfeather007/Filtered_Ring Lean Action CI #16: Commit 83ba9dd pushed by Blackfeather007
October 5, 2024 10:25 1m 38s main
main
October 5, 2024 10:25 1m 38s
Merge branch 'main' of https://github.com/Blackfeather007/Filtered_Ring Compile blueprint #14: Commit 0e5102b pushed by yuanyi-350
October 5, 2024 08:51 38m 36s main
main
October 5, 2024 08:51 38m 36s
Merge branch 'main' of https://github.com/Blackfeather007/Filtered_Ring Lean Action CI #15: Commit 0e5102b pushed by yuanyi-350
October 5, 2024 08:51 1m 31s main
main
October 5, 2024 08:51 1m 31s
Update todo Compile blueprint #13: Commit 41ae3a9 pushed by Blackfeather007
October 5, 2024 08:38 37m 56s main
main
October 5, 2024 08:38 37m 56s
Update todo Lean Action CI #14: Commit 41ae3a9 pushed by Blackfeather007
October 5, 2024 08:38 1m 57s main
main
October 5, 2024 08:38 1m 57s
clean up Lean Action CI #13: Commit 4874898 pushed by Yu-Misaka
October 5, 2024 08:35 1m 26s main
main
October 5, 2024 08:35 1m 26s
clean up Compile blueprint #12: Commit 4874898 pushed by Yu-Misaka
October 5, 2024 08:35 38m 11s main
main
October 5, 2024 08:35 38m 11s
Merge branch 'main' of https://github.com/Blackfeather007/Filtered_Ring Compile blueprint #11: Commit ec9e77b pushed by Yu-Misaka
October 5, 2024 08:33 37m 35s main
main
October 5, 2024 08:33 37m 35s
Merge branch 'main' of https://github.com/Blackfeather007/Filtered_Ring Lean Action CI #12: Commit ec9e77b pushed by Yu-Misaka
October 5, 2024 08:33 1m 29s main
main
October 5, 2024 08:33 1m 29s
Update graded.lean Compile blueprint #10: Commit 15589f5 pushed by yuanyi-350
October 5, 2024 08:28 38m 7s main
main
October 5, 2024 08:28 38m 7s
Update graded.lean Lean Action CI #11: Commit 15589f5 pushed by yuanyi-350
October 5, 2024 08:28 1m 33s main
main
October 5, 2024 08:28 1m 33s
Update Lean Action CI #10: Commit 37dedcb pushed by Blackfeather007
October 5, 2024 08:10 2m 6s main
main
October 5, 2024 08:10 2m 6s
Update Compile blueprint #9: Commit 37dedcb pushed by Blackfeather007
October 5, 2024 08:10 38m 12s main
main
October 5, 2024 08:10 38m 12s
Merge branch 'main' of https://github.com/Blackfeather007/Filtered_Ring Compile blueprint #8: Commit 96e563f pushed by AlbertJ-314
October 5, 2024 07:42 38m 52s main
main
October 5, 2024 07:42 38m 52s
Merge branch 'main' of https://github.com/Blackfeather007/Filtered_Ring Lean Action CI #9: Commit 96e563f pushed by AlbertJ-314
October 5, 2024 07:42 1m 32s main
main
October 5, 2024 07:42 1m 32s