Skip to content

Actions: intgrah/atfp

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
38 workflow runs
38 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
use funny notation Lean Action CI #35: Commit 941bd12 pushed by intgrah
37m 24s main
main
37m 24s
more Lean Action CI #34: Commit fb55f98 pushed by intgrah
41m 28s main
main
41m 28s
Use notation Lean Action CI #33: Commit f50c91a pushed by intgrah
1m 29s main
main
1m 29s
Get rid of ev' Lean Action CI #32: Commit 47f2abe pushed by intgrah
1m 45s main
main
1m 45s
Use even more concise exp definition Lean Action CI #31: Commit 3f526e2 pushed by intgrah
1m 30s main
main
1m 30s
Some more parity Lean Action CI #30: Commit 5b6b61e pushed by intgrah
1m 29s main
main
1m 29s
Simpliy Lean Action CI #29: Commit a44d2f3 pushed by intgrah
44m 4s main
main
44m 4s
inline Lean Action CI #28: Commit 5ffa679 pushed by intgrah
42m 0s main
main
42m 0s
delete Lean Action CI #27: Commit d14a685 pushed by intgrah
36m 33s main
main
36m 33s
Use implicit notation Lean Action CI #26: Commit 880eff5 pushed by intgrah
40m 59s implicit
implicit
40m 59s
Rename Lean Action CI #25: Commit f8a49e3 pushed by intgrah
40m 44s main
main
40m 44s
Rename Lean Action CI #24: Commit f8a49e3 pushed by intgrah
41m 58s implicit
implicit
41m 58s
Improve Lean Action CI #23: Commit 295c9c5 pushed by intgrah
41m 4s main
main
41m 4s
Yes Lean Action CI #22: Commit 12d1c41 pushed by intgrah
40m 37s main
main
40m 37s
Change exp Lean Action CI #21: Commit 8c851ef pushed by intgrah
1m 19s main
main
1m 19s
S1 S2 Lean Action CI #20: Commit e2895e3 pushed by intgrah
39m 43s main
main
39m 43s
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