Skip to content

Actions: Blackfeather007/Filtered_Ring

Actions

Compile blueprint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
blueprint.yml
180 workflow runs
180 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Delete Exactness copy.lean Compile blueprint #255: Commit d2cad8a pushed by yuanyi-350
1m 29s main
main
1m 29s
Update Exactness copy.lean Compile blueprint #254: Commit af909b9 pushed by yuanyi-350
1m 43s main
main
1m 43s
Update Exactness copy.lean Compile blueprint #253: Commit 48f182f pushed by yuanyi-350
1m 29s main
main
1m 29s
latest version Compile blueprint #252: Commit f0c482b pushed by yuanyi-350
1m 29s main
main
1m 29s
latest version Compile blueprint #251: Commit ef6b585 pushed by yuanyi-350
1m 30s main
main
1m 30s
latest version Compile blueprint #250: Commit 6590366 pushed by yuanyi-350
1m 29s main
main
1m 29s
Add file Compile blueprint #249: Commit 359d19b pushed by yuanyi-350
1m 33s main
main
1m 33s
. Compile blueprint #248: Commit fb5c090 pushed by yuanyi-350
1m 48s main
main
1m 48s
Update Hom.lean Compile blueprint #247: Commit a36b73b pushed by yuanyi-350
1m 44s main
main
1m 44s
update associate_grading Compile blueprint #246: Commit 9838ed1 pushed by yuanyi-350
1m 35s main
main
1m 35s
upgrade basic Compile blueprint #245: Commit c53ec5e pushed by yuanyi-350
1m 46s main
main
1m 46s
Update Test.lean Compile blueprint #244: Commit e4dcb80 pushed by yuanyi-350
1m 32s main
main
1m 32s
Update Test.lean Compile blueprint #243: Commit d01892f pushed by yuanyi-350
1m 33s main
main
1m 33s
. Compile blueprint #242: Commit c027b65 pushed by yuanyi-350
1m 29s main
main
1m 29s
Update Test.lean Compile blueprint #241: Commit 300a346 pushed by yuanyi-350
1m 30s main
main
1m 30s
. Compile blueprint #240: Commit 2caf632 pushed by yuanyi-350
1m 46s main
main
1m 46s
. Compile blueprint #239: Commit 2ac4270 pushed by yuanyi-350
1m 32s main
main
1m 32s
Update Test.lean Compile blueprint #238: Commit 646e563 pushed by yuanyi-350
1m 29s main
main
1m 29s
Update Test.lean Compile blueprint #237: Commit d609c1e pushed by yuanyi-350
1m 30s main
main
1m 30s
. Compile blueprint #236: Commit e067e9c pushed by yuanyi-350
1m 31s main
main
1m 31s
Update Test.lean Compile blueprint #235: Commit 795225b pushed by yuanyi-350
1m 35s main
main
1m 35s
Update lake-manifest.json Compile blueprint #234: Commit 7180bd4 pushed by yuanyi-350
1m 42s main
main
1m 42s
Update Test.lean Compile blueprint #233: Commit 1418ea6 pushed by yuanyi-350
1m 44s main
main
1m 44s
fix Compile blueprint #232: Commit f481945 pushed by AlbertJ-314
1m 32s main
main
1m 32s
AddMonoidHom (Gf unfinished) Compile blueprint #231: Commit a5fc2b6 pushed by AlbertJ-314
1m 44s main
main
1m 44s