Skip to content

Actions: tlaplus/tlaplus

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Statically initialize operators table (#895) CI #676: Commit 677e994 pushed by lemmy
March 24, 2024 16:05 39m 45s master
master
March 24, 2024 16:05 39m 45s
Statically initialize operators table TLA+ PR Validation #159: Pull request #895 synchronize by ahelwer
March 24, 2024 15:09 31m 36s ahelwer:sany-static-init
ahelwer:sany-static-init
March 24, 2024 15:09 31m 36s
Add unicode support to SANY TLA+ PR Validation #158: Pull request #896 synchronize by ahelwer
March 23, 2024 17:45 3m 18s ahelwer:try-add-unicode-op
ahelwer:try-add-unicode-op
March 23, 2024 17:45 3m 18s