Skip to content

Actions: intgrah/atfp

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
22 workflow runs
22 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump 4.29.0-rc2 Lean Action CI #19: Commit 2108b9e pushed by intgrah
42m 55s main
main
42m 55s
Bump 4.29.0-rc2 Create Release #3: Commit 2108b9e pushed by intgrah
7s main
main
7s
Fix Lean Action CI #18: Commit 9fc80b3 pushed by intgrah
23m 47s main
main
23m 47s
Some derivatives Lean Action CI #17: Commit 5184dbe pushed by intgrah
24m 19s main
main
24m 19s
Update manifest Lean Action CI #16: Commit 6994f68 pushed by intgrah
24m 25s main
main
24m 25s
Formatting Lean Action CI #15: Commit 2e2e28c pushed by intgrah
1m 20s main
main
1m 20s
Semiring stuff Lean Action CI #14: Commit aa93af9 pushed by intgrah
1m 8s main
main
1m 8s
Update README.md Lean Action CI #13: Commit 40d82fc pushed by intgrah
1m 16s main
main
1m 16s
clean up adamek Lean Action CI #12: Commit b4309f6 pushed by intgrah
1m 22s main
main
1m 22s
fix Lean Action CI #11: Commit 061af8b pushed by intgrah
2m 6s main
main
2m 6s
SemilatSupCat Lean Action CI #10: Commit c4d41af pushed by intgrah
1m 5s main
main
1m 5s
SemilatSupCat Create Release #2: Commit c4d41af pushed by intgrah
12s main
main
12s
Use namespaces better Lean Action CI #9: Commit a6b8944 pushed by intgrah
20m 39s main
main
20m 39s
simplify Lean Action CI #8: Commit 8c0a534 pushed by intgrah
20m 8s main
main
20m 8s
3.10.3 Lean Action CI #7: Commit 8d631df pushed by intgrah
19m 51s main
main
19m 51s
Prune imports Lean Action CI #6: Commit 4abde85 pushed by intgrah
19m 4s main
main
19m 4s
WF Lean Action CI #5: Commit 559fa22 pushed by intgrah
1h 51m 19s main
main
1h 51m 19s
3.4.3 Lean Action CI #4: Commit e25d884 pushed by intgrah
1h 42m 56s main
main
1h 42m 56s
Monotone Lean Action CI #3: Commit d1c7809 pushed by intgrah
1h 49m 59s main
main
1h 49m 59s
more Lean Action CI #2: Commit aa1e825 pushed by intgrah
1h 52m 23s main
main
1h 52m 23s
Init Lean Action CI #1: Commit 05e38d7 pushed by intgrah
2m 45s main
main
2m 45s
Init Create Release #1: Commit 05e38d7 pushed by intgrah
9s main
main
9s