Skip to content

Actions: tannerduve/zxLean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
270 workflow runs
270 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
soundness + normal forms progress Build #86: Commit ee1b2a4 pushed by tannerduve
5m 13s main
main
5m 13s
soundness + normal forms progress Tests #77: Commit ee1b2a4 pushed by tannerduve
2m 46s main
main
2m 46s
soundness + normal forms progress Lean Action CI #101: Commit ee1b2a4 pushed by tannerduve
4m 59s main
main
4m 59s
fix Build #85: Commit bde16bb pushed by tannerduve
5m 26s main
main
5m 26s
fix Tests #76: Commit bde16bb pushed by tannerduve
2m 11s main
main
2m 11s
fix Create Release #4: Commit bde16bb pushed by tannerduve
8s main
main
8s
fix Lean Action CI #100: Commit bde16bb pushed by tannerduve
5m 3s main
main
5m 3s
ignore Lean Action CI #99: Commit b987327 pushed by tannerduve
5m 1s main
main
5m 1s
ignore Build #84: Commit b987327 pushed by tannerduve
5m 9s main
main
5m 9s
ignore Tests #75: Commit b987327 pushed by tannerduve
1m 47s main
main
1m 47s
ignore Lean Action CI #98: Commit bb6fabe pushed by tannerduve
4m 29s main
main
4m 29s
ignore Tests #74: Commit bb6fabe pushed by tannerduve
1m 46s main
main
1m 46s
ignore Build #83: Commit bb6fabe pushed by tannerduve
6m 54s main
main
6m 54s
readme Tests #73: Commit e83c0f4 pushed by tannerduve
52s main
main
52s
readme Lean Action CI #97: Commit e83c0f4 pushed by tannerduve
4m 39s main
main
4m 39s
readme Build #82: Commit e83c0f4 pushed by tannerduve
5m 38s main
main
5m 38s
sep folder Build #81: Commit fb102c1 pushed by tannerduve
5m 8s main
main
5m 8s
sep folder Lean Action CI #96: Commit fb102c1 pushed by tannerduve
4m 31s main
main
4m 31s
sep folder Tests #72: Commit fb102c1 pushed by tannerduve
2m 10s main
main
2m 10s
some algorithmics Build #80: Commit 63c13ab pushed by tannerduve
6m 9s main
main
6m 9s
some algorithmics Tests #71: Commit 63c13ab pushed by tannerduve
1m 47s main
main
1m 47s
some algorithmics Lean Action CI #95: Commit 63c13ab pushed by tannerduve
4m 34s main
main
4m 34s
progress on normal forms (#15) Build #79: Commit 6ed9796 pushed by tannerduve
5m 8s main
main
5m 8s
progress on normal forms (#15) Tests #70: Commit 6ed9796 pushed by tannerduve
2m 6s main
main
2m 6s
progress on normal forms (#15) Lean Action CI #94: Commit 6ed9796 pushed by tannerduve
4m 38s main
main
4m 38s