Skip to content

Actions: tlaplus/tlaplus

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,128 workflow runs
1,128 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Expose Json!ndJsonSerialize also under IOUtils!Serialize to support CI #675: Commit 95d0105 pushed by lemmy
March 23, 2024 06:14 1h 22m 59s master
master
March 23, 2024 06:14 1h 22m 59s
Support enabling action and variable coverage independently of more (… CI #674: Commit 3c119e1 pushed by lemmy
March 23, 2024 06:06 6h 0m 27s master
master
March 23, 2024 06:06 6h 0m 27s
Support enabling action and variable coverage independently of more expensive formula and value coverage. TLA+ PR Validation #157: Pull request #897 synchronize by lemmy
March 23, 2024 03:42 31m 27s mku-coverage
mku-coverage
March 23, 2024 03:42 31m 27s
Support enabling action and variable coverage independently of more expensive formula and value coverage. TLA+ PR Validation #156: Pull request #897 synchronize by lemmy
March 23, 2024 02:39 31m 22s mku-coverage
mku-coverage
March 23, 2024 02:39 31m 22s
Support enabling action and variable coverage independently of more expensive formula and value coverage. TLA+ PR Validation #155: Pull request #897 synchronize by lemmy
March 23, 2024 02:32 31m 13s mku-coverage
mku-coverage
March 23, 2024 02:32 31m 13s
Support enabling action and variable coverage independently of more expensive formula and value coverage. TLA+ PR Validation #154: Pull request #897 opened by lemmy
March 23, 2024 02:31 31m 16s mku-coverage
mku-coverage
March 23, 2024 02:31 31m 16s
Add unicode support to SANY TLA+ PR Validation #153: Pull request #896 opened by ahelwer
March 22, 2024 23:13 3m 22s ahelwer:try-add-unicode-op
ahelwer:try-add-unicode-op
March 22, 2024 23:13 3m 22s
Statically initialize operators table TLA+ PR Validation #152: Pull request #895 synchronize by ahelwer
March 21, 2024 21:51 31m 9s ahelwer:sany-static-init
ahelwer:sany-static-init
March 21, 2024 21:51 31m 9s
Statically initialize operators table TLA+ PR Validation #151: Pull request #895 opened by ahelwer
March 20, 2024 19:10 31m 17s ahelwer:sany-static-init
ahelwer:sany-static-init
March 20, 2024 19:10 31m 17s
Test operator precedence & associativity parsing (#894) CI #673: Commit 768fffd pushed by lemmy
March 20, 2024 17:09 1h 32m 29s master
master
March 20, 2024 17:09 1h 32m 29s
CI CI #672: by lemmy
March 20, 2024 14:50 1h 29m 39s master
master
March 20, 2024 14:50 1h 29m 39s
Test operator precedence & associativity parsing TLA+ PR Validation #150: Pull request #894 synchronize by ahelwer
March 19, 2024 21:30 31m 10s ahelwer:op-prec-tests
ahelwer:op-prec-tests
March 19, 2024 21:30 31m 10s
Test operator precedence & associativity parsing TLA+ PR Validation #149: Pull request #894 synchronize by ahelwer
March 19, 2024 20:52 32m 41s ahelwer:op-prec-tests
ahelwer:op-prec-tests
March 19, 2024 20:52 32m 41s
Test operator precedence & associativity parsing TLA+ PR Validation #148: Pull request #894 synchronize by ahelwer
March 19, 2024 20:38 3m 20s ahelwer:op-prec-tests
ahelwer:op-prec-tests
March 19, 2024 20:38 3m 20s
ProTip! You can narrow down the results and go further in time using created:<2024-03-19 or the other filters available.