Skip to content

Actions: utensil/formal-land

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
347 workflow runs
347 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Trigger deploy by TLA+ CI too TLA+ CI #11: Commit 5199787 pushed by utensil
October 7, 2024 06:17 56s main
main
October 7, 2024 06:17 56s
Try render TLA+ to PDF TLA+ CI #10: Commit bc18844 pushed by utensil
October 7, 2024 06:13 1m 10s main
main
October 7, 2024 06:13 1m 10s
Deploy Gitub Pages Deploy Gitub Pages #28: completed by utensil
October 7, 2024 06:09 33s
October 7, 2024 06:09 33s
Deploy Gitub Pages Deploy Gitub Pages #27: completed by utensil
October 7, 2024 06:06 27s
October 7, 2024 06:06 27s
Try making pages deployment more robust Lean 4 CI #215: Commit 9465fd9 pushed by utensil
October 7, 2024 06:05 3m 23s main
main
October 7, 2024 06:05 3m 23s
Try making pages deployment more robust Aya CI #17: Commit 9465fd9 pushed by utensil
October 7, 2024 06:05 30s main
main
October 7, 2024 06:05 30s
Deploy Gitub Pages Deploy Gitub Pages #26: completed by utensil
October 7, 2024 05:58 23s
October 7, 2024 05:58 23s
Improve web page index, and add more Aya literate pages Aya CI #16: Commit 78fa6e7 pushed by utensil
October 7, 2024 05:58 30s main
main
October 7, 2024 05:58 30s
Deploy Gitub Pages Deploy Gitub Pages #25: Manually run by utensil
October 7, 2024 05:02 25s main
main
October 7, 2024 05:02 25s
Deploy Gitub Pages Deploy Gitub Pages #24: Manually run by utensil
October 7, 2024 05:00 25s main
main
October 7, 2024 05:00 25s
Deploy Gitub Pages Deploy Gitub Pages #23: completed by utensil
October 7, 2024 03:46 30s
October 7, 2024 03:46 30s
Style tweaks Aya CI #15: Commit 1758af9 pushed by utensil
October 7, 2024 03:46 35s main
main
October 7, 2024 03:46 35s
Deploy Gitub Pages Deploy Gitub Pages #22: completed by utensil
October 6, 2024 16:43 20s
October 6, 2024 16:43 20s
Deploy Lean 4 [annotate] TLA+ CI #9: Commit 588a7bc pushed by utensil
October 6, 2024 16:40 36s main
main
October 6, 2024 16:40 36s
Deploy Lean 4 [annotate] Lean 4 CI #214: Commit 588a7bc pushed by utensil
October 6, 2024 16:40 3m 21s main
main
October 6, 2024 16:40 3m 21s
Deploy Gitub Pages Deploy Gitub Pages #21: completed by utensil
October 6, 2024 16:31 20s
October 6, 2024 16:31 20s
Deploy Gitub Pages Deploy Gitub Pages #20: completed by utensil
October 6, 2024 16:28 22s
October 6, 2024 16:28 22s
Prevent cache occupied by non-annotating jobs Aya CI #14: Commit bbcd10c pushed by utensil
October 6, 2024 16:27 29s main
main
October 6, 2024 16:27 29s
Prevent cache occupied by non-annotating jobs Lean 4 CI #213: Commit bbcd10c pushed by utensil
October 6, 2024 16:27 3m 28s main
main
October 6, 2024 16:27 3m 28s
Deploy Gitub Pages Deploy Gitub Pages #19: completed by utensil
October 6, 2024 16:20 28s
October 6, 2024 16:20 28s
Deploy Gitub Pages Deploy Gitub Pages #18: completed by utensil
October 6, 2024 16:15 24s
October 6, 2024 16:15 24s
Deploy Gitub Pages Deploy Gitub Pages #17: completed by utensil
October 6, 2024 16:12 27s
October 6, 2024 16:12 27s