Skip to content

Actions: tlaplus/tlaplus

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
374 workflow runs
374 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
ISSUE_TEMPLATE: moving "expected behavior" to after "to reproduce" CI #691: Commit 5991ab1 pushed by lemmy
May 30, 2024 16:19 1h 0m 19s master
master
May 30, 2024 16:19 1h 0m 19s
ISSUE_TEMPLATE: moving "Steps to reproduce" to go before Expected/Actual TLA+ PR Validation #255: Pull request #930 opened by Hi-Angel
May 29, 2024 18:15 12m 39s Hi-Angel:fix-issue-template
Hi-Angel:fix-issue-template
May 29, 2024 18:15 12m 39s
Fix usage of mavent-antrun-plugin CI #690: Commit 7279336 pushed by Calvin-L
May 20, 2024 18:19 59m 44s master
master
May 20, 2024 18:19 59m 44s
Target Java 11 in all builds TLA+ PR Validation #254: Pull request #925 synchronize by ahelwer
May 17, 2024 23:40 12m 19s ahelwer:use-java-11
ahelwer:use-java-11
May 17, 2024 23:40 12m 19s
Target Java 11 in all builds TLA+ PR Validation #253: Pull request #925 synchronize by ahelwer
May 15, 2024 22:21 12m 38s ahelwer:use-java-11
ahelwer:use-java-11
May 15, 2024 22:21 12m 38s
Target Java 11 in all builds TLA+ PR Validation #252: Pull request #925 synchronize by ahelwer
May 15, 2024 21:57 12m 24s ahelwer:use-java-11
ahelwer:use-java-11
May 15, 2024 21:57 12m 24s
Target Java 11 in all builds TLA+ PR Validation #251: Pull request #925 opened by ahelwer
May 15, 2024 20:26 10m 53s ahelwer:use-java-11
ahelwer:use-java-11
May 15, 2024 20:26 10m 53s
Algorithm variant has been proven in "Refinement Proofs in Rust Using… CI #689: Commit 72c23c9 pushed by lemmy
May 8, 2024 15:11 56m 39s master
master
May 8, 2024 15:11 56m 39s
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