Skip to content

Actions: tlaplus/tlaplus

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Upgrade to JavaCC 5.0 TLA+ PR Validation #250: Pull request #919 synchronize by ahelwer
May 2, 2024 15:04 12m 9s ahelwer:fix-javacc-windows
ahelwer:fix-javacc-windows
May 2, 2024 15:04 12m 9s
Upgrade to JavaCC 5.0 TLA+ PR Validation #249: Pull request #919 synchronize by ahelwer
April 30, 2024 21:04 11m 49s ahelwer:fix-javacc-windows
ahelwer:fix-javacc-windows
April 30, 2024 21:04 11m 49s
Fixed miscellaneous javac compiler warnings TLA+ PR Validation #248: Pull request #915 synchronize by ahelwer
April 30, 2024 15:15 12m 2s ahelwer:fix-warnings
ahelwer:fix-warnings
April 30, 2024 15:15 12m 2s
Fixed miscellaneous javac compiler warnings TLA+ PR Validation #247: Pull request #915 synchronize by ahelwer
April 30, 2024 14:57 12m 23s ahelwer:fix-warnings
ahelwer:fix-warnings
April 30, 2024 14:57 12m 23s
Fixed miscellaneous javac compiler warnings TLA+ PR Validation #246: Pull request #915 synchronize by ahelwer
April 28, 2024 16:15 11m 53s ahelwer:fix-warnings
ahelwer:fix-warnings
April 28, 2024 16:15 11m 53s
Upgrade to JavaCC 5.0 TLA+ PR Validation #245: Pull request #919 synchronize by ahelwer
April 27, 2024 22:42 11m 36s ahelwer:fix-javacc-windows
ahelwer:fix-javacc-windows
April 27, 2024 22:42 11m 36s
Use Java 11 but not specific version in CI CI #688: Commit fa4968f pushed by lemmy
April 27, 2024 22:40 49m 56s master
master
April 27, 2024 22:40 49m 56s
Use Java 11 but not specific version in CI TLA+ PR Validation #244: Pull request #920 opened by ahelwer
April 27, 2024 22:27 11m 52s ahelwer:java-ci
ahelwer:java-ci
April 27, 2024 22:27 11m 52s
Upgrade to JavaCC 5.0 TLA+ PR Validation #243: Pull request #919 synchronize by ahelwer
April 27, 2024 21:31 11m 53s ahelwer:fix-javacc-windows
ahelwer:fix-javacc-windows
April 27, 2024 21:31 11m 53s
Upgrade to JavaCC 5.0 TLA+ PR Validation #242: Pull request #919 synchronize by ahelwer
April 27, 2024 21:22 11m 59s ahelwer:fix-javacc-windows
ahelwer:fix-javacc-windows
April 27, 2024 21:22 11m 59s
Upgrade to JavaCC 5.0 TLA+ PR Validation #241: Pull request #919 synchronize by ahelwer
April 27, 2024 21:15 11m 45s ahelwer:fix-javacc-windows
ahelwer:fix-javacc-windows
April 27, 2024 21:15 11m 45s
Upgrade to JavaCC 5.0 TLA+ PR Validation #240: Pull request #919 opened by ahelwer
April 27, 2024 21:10 11m 56s ahelwer:fix-javacc-windows
ahelwer:fix-javacc-windows
April 27, 2024 21:10 11m 56s
Rework BufferedRandomAccessFile TLA+ PR Validation #239: Pull request #907 synchronize by Calvin-L
April 24, 2024 22:01 13m 44s cal-gh835-bufferedrandomaccessfile
cal-gh835-bufferedrandomaccessfile
April 24, 2024 22:01 13m 44s
Fixed miscellaneous javac compiler warnings TLA+ PR Validation #238: Pull request #915 opened by ahelwer
April 24, 2024 20:15 12m 4s ahelwer:fix-warnings
ahelwer:fix-warnings
April 24, 2024 20:15 12m 4s
Rework BufferedRandomAccessFile TLA+ PR Validation #237: Pull request #907 synchronize by Calvin-L
April 23, 2024 21:36 11m 56s cal-gh835-bufferedrandomaccessfile
cal-gh835-bufferedrandomaccessfile
April 23, 2024 21:36 11m 56s
Rework BufferedRandomAccessFile TLA+ PR Validation #236: Pull request #907 synchronize by Calvin-L
April 23, 2024 21:01 10m 21s cal-gh835-bufferedrandomaccessfile
cal-gh835-bufferedrandomaccessfile
April 23, 2024 21:01 10m 21s
Fix CI in response to breaking changes in tlaplus/examples repo CI #687: Commit 03c7bf4 pushed by lemmy
April 20, 2024 13:10 31m 46s master
master
April 20, 2024 13:10 31m 46s
Fix CI in response to breaking changes in tlaplus/examples repo TLA+ PR Validation #235: Pull request #912 opened by ahelwer
April 20, 2024 05:31 10m 37s ahelwer:ci-update
ahelwer:ci-update
April 20, 2024 05:31 10m 37s
Support Unicode in pcal.trans TLA+ PR Validation #234: Pull request #911 synchronize by ahelwer
April 18, 2024 01:09 11m 55s ahelwer:pcal-unicode
ahelwer:pcal-unicode
April 18, 2024 01:09 11m 55s
Support Unicode in pcal.trans TLA+ PR Validation #233: Pull request #911 synchronize by ahelwer
April 18, 2024 01:03 12m 5s ahelwer:pcal-unicode
ahelwer:pcal-unicode
April 18, 2024 01:03 12m 5s
Support Unicode in pcal.trans TLA+ PR Validation #232: Pull request #911 synchronize by ahelwer
April 18, 2024 01:01 12m 15s ahelwer:pcal-unicode
ahelwer:pcal-unicode
April 18, 2024 01:01 12m 15s
Support Unicode in pcal.trans TLA+ PR Validation #231: Pull request #911 synchronize by ahelwer
April 18, 2024 00:55 12m 35s ahelwer:pcal-unicode
ahelwer:pcal-unicode
April 18, 2024 00:55 12m 35s
Use nio file API in pcal.trans CI #686: Commit 4b513ad pushed by Calvin-L
April 18, 2024 00:25 30m 35s master
master
April 18, 2024 00:25 30m 35s
Support Unicode in pcal.trans TLA+ PR Validation #230: Pull request #911 synchronize by ahelwer
April 17, 2024 04:54 11m 56s ahelwer:pcal-unicode
ahelwer:pcal-unicode
April 17, 2024 04:54 11m 56s
Support Unicode in pcal.trans TLA+ PR Validation #229: Pull request #911 synchronize by ahelwer
April 17, 2024 04:44 10m 24s ahelwer:pcal-unicode
ahelwer:pcal-unicode
April 17, 2024 04:44 10m 24s
ProTip! You can narrow down the results and go further in time using created:<2024-04-17 or the other filters available.