Skip to content

Actions: tlaplus/Examples

Actions

CI for EWD998 Trace Validation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ewd998.yml
14 workflow runs
14 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI for EWD998 Trace Validation CI for EWD998 Trace Validation #27: Manually run by lemmy
January 3, 2025 23:48 8m 51s master
master
January 3, 2025 23:48 8m 51s
Add Apalache to CI (#141) CI for EWD998 Trace Validation #26: Commit 7c8ceab pushed by ahelwer
April 20, 2024 14:47 15m 40s 1.1.0
1.1.0
April 20, 2024 14:47 15m 40s
Remove pluscal checksums CI for EWD998 Trace Validation #25: Pull request #137 opened by ahelwer
April 14, 2024 17:48 14m 16s ahelwer:pcal-always-translate
ahelwer:pcal-always-translate
April 14, 2024 17:48 14m 16s
Composition of specifications CI for EWD998 Trace Validation #24: Pull request #132 synchronize by lemmy
April 6, 2024 01:10 11m 16s mku-ewd998
mku-ewd998
April 6, 2024 01:10 11m 16s
Compose Compute, Detect Termination (EWD998), and Shutdown. CI for EWD998 Trace Validation #23: Commit fc16cdc pushed by lemmy
April 6, 2024 01:10 12m 36s mku-ewd998
mku-ewd998
April 6, 2024 01:10 12m 36s
Composition of specifications CI for EWD998 Trace Validation #22: Pull request #132 opened by lemmy
April 6, 2024 01:08 10m 6s mku-ewd998
mku-ewd998
April 6, 2024 01:08 10m 6s
Merge pull request #75 from lemmy/mku-ewd998_impl CI for EWD998 Trace Validation #21: Commit 9de4025 pushed by lemmy
April 6, 2024 01:04 11m 57s ISoLA2022
ISoLA2022
April 6, 2024 01:04 11m 57s
Compose Compute, Detect Termination (EWD998), and Shutdown. CI for EWD998 Trace Validation #20: Commit 7db9bdf pushed by lemmy
April 6, 2024 01:03 8m 54s mku-ewd998
mku-ewd998
April 6, 2024 01:03 8m 54s
Merge pull request #75 from lemmy/mku-ewd998_impl CI for EWD998 Trace Validation #19: Commit 9de4025 pushed by lemmy
April 6, 2024 01:00 13m 25s master
master
April 6, 2024 01:00 13m 25s
Implementing a TLA+ Specification: EWD998Chan CI for EWD998 Trace Validation #18: Pull request #75 synchronize by lemmy
April 6, 2024 00:46 12m 25s lemmy:mku-ewd998_impl
lemmy:mku-ewd998_impl
April 6, 2024 00:46 12m 25s
Implementing a TLA+ Specification: EWD998Chan CI for EWD998 Trace Validation #17: Pull request #75 synchronize by lemmy
April 6, 2024 00:39 13m 22s lemmy:mku-ewd998_impl
lemmy:mku-ewd998_impl
April 6, 2024 00:39 13m 22s
Implementing a TLA+ Specification: EWD998Chan CI for EWD998 Trace Validation #16: Pull request #75 synchronize by lemmy
April 6, 2024 00:36 14m 10s lemmy:mku-ewd998_impl
lemmy:mku-ewd998_impl
April 6, 2024 00:36 14m 10s
Implementing a TLA+ Specification: EWD998Chan CI for EWD998 Trace Validation #15: Pull request #75 synchronize by lemmy
April 5, 2024 22:03 12m 59s lemmy:mku-ewd998_impl
lemmy:mku-ewd998_impl
April 5, 2024 22:03 12m 59s
Implementing a TLA+ Specification: EWD998Chan CI for EWD998 Trace Validation #14: Pull request #75 synchronize by lemmy
April 5, 2024 21:51 9m 54s lemmy:mku-ewd998_impl
lemmy:mku-ewd998_impl
April 5, 2024 21:51 9m 54s