Skip to content

Actions: utensil/formal-land

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
344 workflow runs
344 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Deploy Gitub Pages Deploy Gitub Pages #39: completed by utensil
October 22, 2024 10:21 29s
October 22, 2024 10:21 29s
Now test and annotate can be shared between Lean 4 projects Lean 4 CI #223: Commit 78b9c69 pushed by utensil
October 22, 2024 10:16 4m 24s main
main
October 22, 2024 10:16 4m 24s
Deploy Gitub Pages Deploy Gitub Pages #38: completed by utensil
October 22, 2024 06:51 23s
October 22, 2024 06:51 23s
Should not have hello as package name Lean 4 CI #222: Commit ffd2d61 pushed by utensil
October 22, 2024 06:47 3m 46s main
main
October 22, 2024 06:47 3m 46s
Deploy Gitub Pages Deploy Gitub Pages #37: completed by utensil
October 22, 2024 06:42 27s
October 22, 2024 06:42 27s
Add check NoCI to CI, but allow failure Lean 4 CI #221: Commit cadb3b5 pushed by utensil
October 22, 2024 06:39 3m 36s main
main
October 22, 2024 06:39 3m 36s
Deploy Gitub Pages Deploy Gitub Pages #36: completed by utensil
October 22, 2024 04:54 25s
October 22, 2024 04:54 25s
Fix typo Aya CI #19: Commit 3cd7da3 pushed by utensil
October 22, 2024 04:54 39s main
main
October 22, 2024 04:54 39s
Deploy Gitub Pages Deploy Gitub Pages #35: completed by utensil
October 22, 2024 04:19 24s
October 22, 2024 04:19 24s
Deploy Gitub Pages Deploy Gitub Pages #34: completed by utensil
October 22, 2024 04:15 23s
October 22, 2024 04:15 23s
Consistently setup just after checkout [annotate] TLA+ CI #15: Commit 76bd9f7 pushed by utensil
October 22, 2024 04:15 1m 9s main
main
October 22, 2024 04:15 1m 9s
Consistently setup just after checkout [annotate] Aya CI #18: Commit 76bd9f7 pushed by utensil
October 22, 2024 04:15 34s main
main
October 22, 2024 04:15 34s
Consistently setup just after checkout [annotate] Lean 4 CI #220: Commit 76bd9f7 pushed by utensil
October 22, 2024 04:15 4m 0s main
main
October 22, 2024 04:15 4m 0s
Deploy Gitub Pages Deploy Gitub Pages #33: completed by utensil
October 22, 2024 04:02 3s
October 22, 2024 04:02 3s
Also remove Duper from annotation [annotate] Lean 4 CI #219: Commit 28f17e0 pushed by utensil
October 22, 2024 03:58 3m 55s main
main
October 22, 2024 03:58 3m 55s
Deploy Gitub Pages Deploy Gitub Pages #32: completed by utensil
October 22, 2024 03:16 2s
October 22, 2024 03:16 2s
Lint shell [annotate] Lean 4 CI #218: Commit 3197033 pushed by utensil
October 22, 2024 03:11 4m 16s main
main
October 22, 2024 03:11 4m 16s
Deploy Gitub Pages Deploy Gitub Pages #31: completed by utensil
October 21, 2024 15:41 28s
October 21, 2024 15:41 28s
Just QuadraticMap Lean 4 CI #217: Commit 3ee6646 pushed by utensil
October 21, 2024 15:37 3m 46s main
main
October 21, 2024 15:37 3m 46s
Add link to haybale TLA+ CI #14: Commit 7204c83 pushed by utensil
October 15, 2024 02:19 4m 40s main
main
October 15, 2024 02:19 4m 40s
Deploy Gitub Pages Deploy Gitub Pages #30: completed by utensil
October 8, 2024 05:39 26s
October 8, 2024 05:39 26s
Add some more in-scope or related stuff Lean 4 CI #216: Commit d0f55ce pushed by utensil
October 8, 2024 05:36 3m 25s main
main
October 8, 2024 05:36 3m 25s
Add some in-scope formalization systems TLA+ CI #13: Commit a50b266 pushed by utensil
October 7, 2024 09:10 59s main
main
October 7, 2024 09:10 59s
Improve TLA+ README TLA+ CI #12: Commit ea8d8b9 pushed by utensil
October 7, 2024 08:04 1m 9s main
main
October 7, 2024 08:04 1m 9s
Deploy Gitub Pages Deploy Gitub Pages #29: Manually run by utensil
October 7, 2024 07:15 27s main
main
October 7, 2024 07:15 27s