Skip to content

Actions: intgrah/qdt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
199 workflow runs
199 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
prove funext Lean Action CI #199: Commit 0f6d15e pushed by intgrah
2m 22s main
main
2m 22s
more Lean Action CI #198: Commit 5e17c48 pushed by intgrah
3m 24s main
main
3m 24s
more Lean Action CI #197: Commit 490564d pushed by intgrah
3m 13s main
main
3m 13s
Upgrade tests Lean Action CI #196: Commit 576039c pushed by intgrah
5m 42s main
main
5m 42s
bump Lean Action CI #195: Commit 857d43f pushed by intgrah
2m 2s main
main
2m 2s
remove full mode Lean Action CI #194: Commit 35cb50d pushed by intgrah
2m 10s main
main
2m 10s
fixes Lean Action CI #193: Commit 27705ae pushed by intgrah
3m 39s main
main
3m 39s
fixes Lean Action CI #192: Commit 0577365 pushed by intgrah
2m 37s main
main
2m 37s
fixes Lean Action CI #191: Commit 2699510 pushed by intgrah
5m 46s main
main
5m 46s
bump 4.30.0-rc2 Lean Action CI #190: Commit ed0c0a6 pushed by intgrah
6m 18s main
main
6m 18s
more Lean Action CI #189: Commit e679aba pushed by intgrah
1m 39s main
main
1m 39s
fix it Lean Action CI #188: Commit 13c549d pushed by intgrah
2m 54s main
main
2m 54s
fix Lean Action CI #187: Commit 89e0eb2 pushed by intgrah
1m 49s main
main
1m 49s
more Lean Action CI #186: Commit e679aba pushed by intgrah
2m 23s main
main
2m 23s
fix formatting of Type u Lean Action CI #185: Commit d400463 pushed by intgrah
2m 29s main
main
2m 29s
fmt Lean Action CI #184: Commit 21c3f8f pushed by intgrah
1m 50s main
main
1m 50s
. Lean Action CI #183: Commit 1783cba pushed by intgrah
2m 22s main
main
2m 22s
simplify justfile Lean Action CI #182: Commit 6961b52 pushed by intgrah
1m 40s main
main
1m 40s
unicode flag Lean Action CI #181: Commit 36c6bc3 pushed by intgrah
1m 50s main
main
1m 50s
more Lean Action CI #180: Commit 859db3a pushed by intgrah
2m 44s main
main
2m 44s
more Lean Action CI #179: Commit 13190cd pushed by intgrah
1m 41s main
main
1m 41s
more Lean Action CI #178: Commit bb93b11 pushed by intgrah
2m 53s main
main
2m 53s
revision Lean Action CI #177: Commit b4f4be5 pushed by intgrah
2m 2s main
main
2m 2s
.zed Lean Action CI #176: Commit 0a16325 pushed by intgrah
1m 59s main
main
1m 59s
. Lean Action CI #175: Commit d7a32ff pushed by intgrah
2m 1s main
main
2m 1s