Skip to content

Actions: tlaplus/Examples

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
431 workflow runs
431 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix proofs (#175) CI for EWD998 Trace Validation #45: Commit ab9a2c3 pushed by muenchnerkindl
July 14, 2025 06:39 10m 40s master
master
July 14, 2025 06:39 10m 40s
Fix proofs (#175) Check Specs & Metadata #899: Commit ab9a2c3 pushed by muenchnerkindl
July 14, 2025 06:39 23m 27s master
master
July 14, 2025 06:39 23m 27s
tlaplus-dispatch Check Specs & Metadata #898: Repository dispatch triggered by lemmy
July 3, 2025 17:54 23m 44s
July 3, 2025 17:54 23m 44s
Fix proofs CI for EWD998 Trace Validation #44: Pull request #175 synchronize by muenchnerkindl
July 2, 2025 17:01 9m 51s fixProofs
fixProofs
July 2, 2025 17:01 9m 51s
Fix proofs Check Specs & Metadata #897: Pull request #175 synchronize by muenchnerkindl
July 2, 2025 17:01 24m 38s fixProofs
fixProofs
July 2, 2025 17:01 24m 38s
Fix proofs CI for EWD998 Trace Validation #43: Pull request #175 synchronize by muenchnerkindl
July 2, 2025 12:05 9m 22s fixProofs
fixProofs
July 2, 2025 12:05 9m 22s
Fix proofs Check Specs & Metadata #896: Pull request #175 synchronize by muenchnerkindl
July 2, 2025 12:05 26m 41s fixProofs
fixProofs
July 2, 2025 12:05 26m 41s
Fix proofs CI for EWD998 Trace Validation #42: Pull request #175 synchronize by muenchnerkindl
July 2, 2025 11:45 13m 6s fixProofs
fixProofs
July 2, 2025 11:45 13m 6s
Fix proofs Check Specs & Metadata #895: Pull request #175 synchronize by muenchnerkindl
July 2, 2025 11:45 20m 9s fixProofs
fixProofs
July 2, 2025 11:45 20m 9s
Fix proofs Check Specs & Metadata #894: Pull request #175 synchronize by muenchnerkindl
July 2, 2025 11:07 30m 13s fixProofs
fixProofs
July 2, 2025 11:07 30m 13s
Fix proofs CI for EWD998 Trace Validation #41: Pull request #175 synchronize by muenchnerkindl
July 2, 2025 11:07 10m 33s fixProofs
fixProofs
July 2, 2025 11:07 10m 33s
CI: Fix state count validation regex Check Specs & Metadata #893: Commit 04c1992 pushed by ahelwer
July 1, 2025 15:20 28m 16s master
master
July 1, 2025 15:20 28m 16s
Fix proofs CI for EWD998 Trace Validation #40: Pull request #175 synchronize by muenchnerkindl
July 1, 2025 14:55 9m 11s fixProofs
fixProofs
July 1, 2025 14:55 9m 11s
Fix proofs Check Specs & Metadata #892: Pull request #175 synchronize by muenchnerkindl
July 1, 2025 14:55 26m 23s fixProofs
fixProofs
July 1, 2025 14:55 26m 23s
CI: fix state count regex Check Specs & Metadata #891: Pull request #176 synchronize by ahelwer
July 1, 2025 14:51 24m 4s ahelwer:ci-state-count-regex
ahelwer:ci-state-count-regex
July 1, 2025 14:51 24m 4s
CI: fix state count regex Check Specs & Metadata #890: Pull request #176 opened by ahelwer
July 1, 2025 14:05 19m 45s ahelwer:ci-state-count-regex
ahelwer:ci-state-count-regex
July 1, 2025 14:05 19m 45s
Fix proofs CI for EWD998 Trace Validation #39: Pull request #175 synchronize by muenchnerkindl
July 1, 2025 13:48 7m 39s fixProofs
fixProofs
July 1, 2025 13:48 7m 39s
Fix proofs Check Specs & Metadata #889: Pull request #175 synchronize by muenchnerkindl
July 1, 2025 13:48 22m 42s fixProofs
fixProofs
July 1, 2025 13:48 22m 42s
Fix proofs CI for EWD998 Trace Validation #38: Pull request #175 synchronize by muenchnerkindl
July 1, 2025 11:23 10m 55s fixProofs
fixProofs
July 1, 2025 11:23 10m 55s
Fix proofs Check Specs & Metadata #888: Pull request #175 synchronize by muenchnerkindl
July 1, 2025 11:23 19m 33s fixProofs
fixProofs
July 1, 2025 11:23 19m 33s
Fix proofs Check Specs & Metadata #887: Pull request #175 synchronize by muenchnerkindl
July 1, 2025 09:41 22m 29s fixProofs
fixProofs
July 1, 2025 09:41 22m 29s
Fix proofs CI for EWD998 Trace Validation #37: Pull request #175 synchronize by muenchnerkindl
July 1, 2025 09:41 9m 48s fixProofs
fixProofs
July 1, 2025 09:41 9m 48s
Fix proofs CI for EWD998 Trace Validation #36: Pull request #175 synchronize by muenchnerkindl
July 1, 2025 07:23 14m 58s fixProofs
fixProofs
July 1, 2025 07:23 14m 58s
Fix proofs Check Specs & Metadata #886: Pull request #175 synchronize by muenchnerkindl
July 1, 2025 07:23 2m 34s fixProofs
fixProofs
July 1, 2025 07:23 2m 34s
Fix proofs Check Specs & Metadata #885: Pull request #175 synchronize by muenchnerkindl
July 1, 2025 07:19 1m 21s fixProofs
fixProofs
July 1, 2025 07:19 1m 21s