Skip to content

Actions: tlaplus/tlaplus

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
183 workflow run results
183 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Parallelize PR CI workflow TLA+ PR Validation #183: Pull request #900 synchronize by ahelwer
April 1, 2024 16:03 Startup failure ahelwer:parallel-pr-ci
ahelwer:parallel-pr-ci
April 1, 2024 16:03 Startup failure
Parallelize PR CI workflow TLA+ PR Validation #182: Pull request #900 opened by ahelwer
March 31, 2024 17:54 15m 1s ahelwer:parallel-pr-ci
ahelwer:parallel-pr-ci
March 31, 2024 17:54 15m 1s
Add unicode support to SANY TLA+ PR Validation #181: Pull request #896 synchronize by ahelwer
March 31, 2024 16:50 15m 26s ahelwer:try-add-unicode-op
ahelwer:try-add-unicode-op
March 31, 2024 16:50 15m 26s
Add unicode support to SANY TLA+ PR Validation #180: Pull request #896 synchronize by ahelwer
March 30, 2024 20:55 15m 9s ahelwer:try-add-unicode-op
ahelwer:try-add-unicode-op
March 30, 2024 20:55 15m 9s
Add unicode support to SANY TLA+ PR Validation #179: Pull request #896 synchronize by ahelwer
March 30, 2024 14:54 20m 43s ahelwer:try-add-unicode-op
ahelwer:try-add-unicode-op
March 30, 2024 14:54 20m 43s
Add unicode support to SANY TLA+ PR Validation #178: Pull request #896 synchronize by ahelwer
March 30, 2024 14:41 20m 32s ahelwer:try-add-unicode-op
ahelwer:try-add-unicode-op
March 30, 2024 14:41 20m 32s
Add unicode support to SANY TLA+ PR Validation #177: Pull request #896 synchronize by ahelwer
March 30, 2024 14:39 21m 46s ahelwer:try-add-unicode-op
ahelwer:try-add-unicode-op
March 30, 2024 14:39 21m 46s
Add unicode support to SANY TLA+ PR Validation #176: Pull request #896 synchronize by ahelwer
March 30, 2024 14:37 20m 18s ahelwer:try-add-unicode-op
ahelwer:try-add-unicode-op
March 30, 2024 14:37 20m 18s
Add unicode support to SANY TLA+ PR Validation #175: Pull request #896 synchronize by ahelwer
March 30, 2024 14:35 1s ahelwer:try-add-unicode-op
ahelwer:try-add-unicode-op
March 30, 2024 14:35 1s
Add unicode support to SANY TLA+ PR Validation #174: Pull request #896 synchronize by ahelwer
March 30, 2024 14:33 20m 35s ahelwer:try-add-unicode-op
ahelwer:try-add-unicode-op
March 30, 2024 14:33 20m 35s
Add unicode support to SANY TLA+ PR Validation #173: Pull request #896 synchronize by ahelwer
March 30, 2024 14:17 18m 10s ahelwer:try-add-unicode-op
ahelwer:try-add-unicode-op
March 30, 2024 14:17 18m 10s
Add unicode support to SANY TLA+ PR Validation #172: Pull request #896 synchronize by ahelwer
March 30, 2024 14:09 48s ahelwer:try-add-unicode-op
ahelwer:try-add-unicode-op
March 30, 2024 14:09 48s
Add unicode support to SANY TLA+ PR Validation #171: Pull request #896 synchronize by ahelwer
March 30, 2024 14:06 47s ahelwer:try-add-unicode-op
ahelwer:try-add-unicode-op
March 30, 2024 14:06 47s
Add unicode support to SANY TLA+ PR Validation #170: Pull request #896 synchronize by ahelwer
March 30, 2024 14:04 20s ahelwer:try-add-unicode-op
ahelwer:try-add-unicode-op
March 30, 2024 14:04 20s
Add unicode support to SANY TLA+ PR Validation #169: Pull request #896 by ahelwer
March 30, 2024 14:00 Failure ahelwer:try-add-unicode-op
ahelwer:try-add-unicode-op
March 30, 2024 14:00 Failure
Add unicode support to SANY TLA+ PR Validation #168: Pull request #896 synchronize by ahelwer
March 30, 2024 02:55 38m 36s ahelwer:try-add-unicode-op
ahelwer:try-add-unicode-op
March 30, 2024 02:55 38m 36s
Add unicode support to SANY TLA+ PR Validation #167: Pull request #896 synchronize by ahelwer
March 30, 2024 00:39 23m 50s ahelwer:try-add-unicode-op
ahelwer:try-add-unicode-op
March 30, 2024 00:39 23m 50s
Add unicode support to SANY TLA+ PR Validation #166: Pull request #896 by ahelwer
March 30, 2024 00:37 Failure ahelwer:try-add-unicode-op
ahelwer:try-add-unicode-op
March 30, 2024 00:37 Failure
Add unicode support to SANY TLA+ PR Validation #165: Pull request #896 by ahelwer
March 30, 2024 00:31 Failure ahelwer:try-add-unicode-op
ahelwer:try-add-unicode-op
March 30, 2024 00:31 Failure
Add unicode support to SANY TLA+ PR Validation #164: Pull request #896 synchronize by ahelwer
March 29, 2024 18:59 32m 50s ahelwer:try-add-unicode-op
ahelwer:try-add-unicode-op
March 29, 2024 18:59 32m 50s
Add TLC hook to periodically evaluate a constant-level expression. CI #677: Commit 23f7650 pushed by lemmy
March 26, 2024 04:20 39m 1s master
master
March 26, 2024 04:20 39m 1s
Add TLC hook to periodically evaluate a constant-level expression. TLA+ PR Validation #163: Pull request #898 synchronize by lemmy
March 26, 2024 03:45 31m 34s mku-progress
mku-progress
March 26, 2024 03:45 31m 34s
Add TLC hook to periodically evaluate a constant-level expression. TLA+ PR Validation #162: Pull request #898 synchronize by lemmy
March 26, 2024 03:40 31m 30s mku-progress
mku-progress
March 26, 2024 03:40 31m 30s
Add TLC hook to periodically evaluate a constant-level expression. TLA+ PR Validation #161: Pull request #898 opened by lemmy
March 26, 2024 01:55 32m 47s mku-progress
mku-progress
March 26, 2024 01:55 32m 47s
Add unicode support to SANY TLA+ PR Validation #160: Pull request #896 synchronize by ahelwer
March 25, 2024 16:46 31m 33s ahelwer:try-add-unicode-op
ahelwer:try-add-unicode-op
March 25, 2024 16:46 31m 33s