Skip to content

Actions: tlaplus/tlaplus

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Support Unicode in pcal.trans TLA+ PR Validation #225: Pull request #911 synchronize by ahelwer
April 16, 2024 23:19 9m 13s ahelwer:pcal-unicode
ahelwer:pcal-unicode
April 16, 2024 23:19 9m 13s
Support Unicode in pcal.trans TLA+ PR Validation #224: Pull request #911 synchronize by ahelwer
April 16, 2024 22:26 5h 32m 23s ahelwer:pcal-unicode
ahelwer:pcal-unicode
April 16, 2024 22:26 5h 32m 23s
Make pcal.trans unicode-safe TLA+ PR Validation #223: Pull request #909 synchronize by ahelwer
April 16, 2024 19:50 12m 8s ahelwer:pcal-utf8
ahelwer:pcal-utf8
April 16, 2024 19:50 12m 8s
Support Unicode in pcal.trans TLA+ PR Validation #222: Pull request #911 synchronize by ahelwer
April 16, 2024 19:33 13m 5s ahelwer:pcal-unicode
ahelwer:pcal-unicode
April 16, 2024 19:33 13m 5s
Make pcal.trans unicode-safe TLA+ PR Validation #221: Pull request #909 synchronize by ahelwer
April 16, 2024 19:29 11m 58s ahelwer:pcal-utf8
ahelwer:pcal-utf8
April 16, 2024 19:29 11m 58s
Make pcal.trans unicode-safe TLA+ PR Validation #220: Pull request #909 synchronize by ahelwer
April 16, 2024 19:23 12m 34s ahelwer:pcal-utf8
ahelwer:pcal-utf8
April 16, 2024 19:23 12m 34s
Make pcal.trans unicode-safe TLA+ PR Validation #219: Pull request #909 synchronize by ahelwer
April 16, 2024 19:14 11m 55s ahelwer:pcal-utf8
ahelwer:pcal-utf8
April 16, 2024 19:14 11m 55s
Support Unicode in pcal.trans TLA+ PR Validation #218: Pull request #911 synchronize by ahelwer
April 15, 2024 19:49 10m 30s ahelwer:pcal-unicode
ahelwer:pcal-unicode
April 15, 2024 19:49 10m 30s
Support Unicode in pcal.trans TLA+ PR Validation #217: Pull request #911 synchronize by ahelwer
April 15, 2024 19:06 5m 26s ahelwer:pcal-unicode
ahelwer:pcal-unicode
April 15, 2024 19:06 5m 26s
Support Unicode in pcal.trans TLA+ PR Validation #216: Pull request #911 opened by ahelwer
April 15, 2024 18:03 3m 44s ahelwer:pcal-unicode
ahelwer:pcal-unicode
April 15, 2024 18:03 3m 44s
Try to run unit tests on windows TLA+ PR Validation #215: Pull request #910 synchronize by ahelwer
April 14, 2024 17:15 11m 52s ahelwer:ut-windows
ahelwer:ut-windows
April 14, 2024 17:15 11m 52s
Try to run unit tests on windows TLA+ PR Validation #214: Pull request #910 opened by ahelwer
April 14, 2024 17:14 1s ahelwer:ut-windows
ahelwer:ut-windows
April 14, 2024 17:14 1s
Make pcal.trans unicode-safe TLA+ PR Validation #213: Pull request #909 synchronize by ahelwer
April 14, 2024 02:21 12m 3s ahelwer:pcal-utf8
ahelwer:pcal-utf8
April 14, 2024 02:21 12m 3s
Make pcal.trans unicode-safe TLA+ PR Validation #212: Pull request #909 synchronize by ahelwer
April 13, 2024 22:31 12m 5s ahelwer:pcal-utf8
ahelwer:pcal-utf8
April 13, 2024 22:31 12m 5s
Make pcal.trans unicode-safe TLA+ PR Validation #211: Pull request #909 opened by ahelwer
April 13, 2024 22:26 12m 21s ahelwer:pcal-utf8
ahelwer:pcal-utf8
April 13, 2024 22:26 12m 21s
'constrained' states not added to e.g. dot output if TLC runs under TLA+ CI #685: Commit 6fb13e9 pushed by lemmy
April 11, 2024 21:12 30m 48s master
master
April 11, 2024 21:12 30m 48s
Fix unit test error reporting and support -Dthreads=N parameter (#903) CI #684: Commit f135b2c pushed by Calvin-L
April 11, 2024 20:57 29m 6s master
master
April 11, 2024 20:57 29m 6s
'constrained' states not added to e.g. dot output if TLC runs under TLA+ TLA+ PR Validation #210: Pull request #908 opened by lemmy
April 11, 2024 18:57 12m 4s mku-DebuggerINotInModelFunctor
mku-DebuggerINotInModelFunctor
April 11, 2024 18:57 12m 4s
Fix unit test error reporting and support -Dthreads=N parameter TLA+ PR Validation #209: Pull request #903 synchronize by ahelwer
April 11, 2024 12:35 12m 1s ahelwer:optimize-unit-tests
ahelwer:optimize-unit-tests
April 11, 2024 12:35 12m 1s
Rework BufferedRandomAccessFile TLA+ PR Validation #208: Pull request #907 synchronize by Calvin-L
April 10, 2024 21:54 12m 2s cal-gh835-bufferedrandomaccessfile
cal-gh835-bufferedrandomaccessfile
April 10, 2024 21:54 12m 2s
Rework BufferedRandomAccessFile TLA+ PR Validation #207: Pull request #907 opened by Calvin-L
April 10, 2024 21:54 12m 36s cal-gh835-bufferedrandomaccessfile
cal-gh835-bufferedrandomaccessfile
April 10, 2024 21:54 12m 36s
Add unicode support to SANY (#896) CI #683: Commit 8fa1f19 pushed by Calvin-L
April 10, 2024 17:19 32m 9s master
master
April 10, 2024 17:19 32m 9s
Add unicode support to SANY TLA+ PR Validation #206: Pull request #896 synchronize by ahelwer
April 10, 2024 15:01 12m 4s ahelwer:try-add-unicode-op
ahelwer:try-add-unicode-op
April 10, 2024 15:01 12m 4s
Fix OffHeapDiskFPSetTest.testWriteIndex() on Java 21 CI #682: Commit b9b30bb pushed by Calvin-L
April 10, 2024 00:38 34m 2s master
master
April 10, 2024 00:38 34m 2s
Fix OffHeapDiskFPSetTest.testWriteIndex() on Java 21 TLA+ PR Validation #205: Pull request #904 opened by Calvin-L
April 9, 2024 23:58 11m 39s fix-testWriteIndex
fix-testWriteIndex
April 9, 2024 23:58 11m 39s