Skip to content

Actions: heidihoward/pirateship-tla

Actions

TLA

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
tla.yml
107 workflow runs
107 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove implicit state constraints that restricts log entires to TLA #10: Commit b4b0028 pushed by lemmy
November 7, 2024 02:15 10m 18s main
main
November 7, 2024 02:15 10m 18s
setting txs to 1..4 TLA #9: Commit caa7424 pushed by heidihoward
November 6, 2024 16:23 10m 21s main
main
November 6, 2024 16:23 10m 21s
document and minor edits TLA #8: Commit 8bf0ecf pushed by heidihoward
November 6, 2024 15:58 20s main
main
November 6, 2024 15:58 20s
Check liveness TLA #7: Pull request #6 opened by lemmy
November 6, 2024 04:05 10m 45s lemmy:mku-liveness
lemmy:mku-liveness
November 6, 2024 04:05 10m 45s
Add several liveness properties TLA #6: Pull request #5 opened by lemmy
November 6, 2024 04:00 10m 36s lemmy:mku-properties
lemmy:mku-properties
November 6, 2024 04:00 10m 36s
Add a basic Github action that simulates and verifies TLA #5: Commit 3474c79 pushed by lemmy
November 6, 2024 02:09 10m 20s main
main
November 6, 2024 02:09 10m 20s
Add a basic Github action that simulates the spec5~ for a few minutes. TLA #4: Commit d4d8e65 pushed by lemmy
November 6, 2024 02:03 10m 15s main
main
November 6, 2024 02:03 10m 15s