Skip to content

Actions: utensil/formal-land

Actions

TLA+ CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
tla.yml
19 workflow runs
19 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Rebuild all [annotate] TLA+ CI #19: Commit fb96f03 pushed by utensil
November 6, 2024 12:21 56s main
main
November 6, 2024 12:21 56s
Deploy all [annotate] TLA+ CI #18: Commit d167136 pushed by utensil
October 28, 2024 13:00 55s main
main
October 28, 2024 13:00 55s
Try add Verso doc to pages; add mechanism to trigger all CI [annotate] TLA+ CI #17: Commit 302149c pushed by utensil
October 28, 2024 12:51 1m 1s main
main
October 28, 2024 12:51 1m 1s
Merge pull request #2 from utensil/dependabot/github_actions/extracti… TLA+ CI #16: Commit 34f005d pushed by utensil
October 23, 2024 05:48 1m 8s main
main
October 23, 2024 05:48 1m 8s
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
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
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
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 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
Skip Windows CI for TLA for now TLA+ CI #8: Commit 025b502 pushed by utensil
October 6, 2024 15:03 33s main
main
October 6, 2024 15:03 33s
Try not to use . in path name on windows TLA+ CI #7: Commit 5501f39 pushed by utensil
October 6, 2024 14:56 34s main
main
October 6, 2024 14:56 34s
Use join TLA+ CI #6: Commit b865fa9 pushed by utensil
October 6, 2024 14:52 39s main
main
October 6, 2024 14:52 39s
Try fix windows CI for tla TLA+ CI #5: Commit ba0078e pushed by utensil
October 6, 2024 14:47 39s main
main
October 6, 2024 14:47 39s
Improve CI for aya and tla TLA+ CI #4: Commit d5670b6 pushed by utensil
October 6, 2024 14:29 35s main
main
October 6, 2024 14:29 35s
Try add a separate deploy workflow [annotate] TLA+ CI #3: Commit 4836469 pushed by utensil
October 6, 2024 13:02 21s main
main
October 6, 2024 13:02 21s
Cache tla2tools.jar and tweaks TLA+ CI #2: Commit 9e85a89 pushed by utensil
October 6, 2024 10:02 23s main
main
October 6, 2024 10:02 23s
Add TLA+ example and CI TLA+ CI #1: Commit fe067e8 pushed by utensil
October 6, 2024 09:51 19s main
main
October 6, 2024 09:51 19s