Skip to content

Actions: tlaplus/tlaplus

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

java.lang.ArrayIndexOutOfBoundsException with TLCExt!lassoOrdinal TLA+ PR Validation #651: Pull request #1071 synchronize by lemmy
November 11, 2024 17:20 27m 41s mku-TLCLivenessLassoSimulate
mku-TLCLivenessLassoSimulate
November 11, 2024 17:20 27m 41s
Let only one worker print a (liveness) counterexample. CI #855: Commit 73219dc pushed by lemmy
November 11, 2024 17:18 1h 2m 53s master
master
November 11, 2024 17:18 1h 2m 53s
java.lang.ArrayIndexOutOfBoundsException with TLCExt!lassoOrdinal TLA+ PR Validation #650: Pull request #1071 opened by lemmy
November 11, 2024 17:02 18m 49s mku-TLCLivenessLassoSimulate
mku-TLCLivenessLassoSimulate
November 11, 2024 17:02 18m 49s
SANY commandline enhancements TLA+ PR Validation #649: Pull request #1067 synchronize by MathieuBordere
November 10, 2024 17:53 26m 28s MathieuBordere:947-sany-commandline-cont
MathieuBordere:947-sany-commandline-cont
November 10, 2024 17:53 26m 28s
SANY XML: added CLI help text TLA+ PR Validation #648: Pull request #1058 synchronize by ahelwer
November 10, 2024 16:46 27m 0s ahelwer:parser-xml-help
ahelwer:parser-xml-help
November 10, 2024 16:46 27m 0s
SANY XML: added CLI help text TLA+ PR Validation #647: Pull request #1058 synchronize by ahelwer
November 10, 2024 16:41 5m 16s ahelwer:parser-xml-help
ahelwer:parser-xml-help
November 10, 2024 16:41 5m 16s
SANY: Removed init error logging since it's static now TLA+ PR Validation #646: Pull request #1069 synchronize by ahelwer
November 10, 2024 14:55 26m 47s ahelwer:sany-no-init-errors
ahelwer:sany-no-init-errors
November 10, 2024 14:55 26m 47s
SANY: Removed init error logging since it's static now TLA+ PR Validation #645: Pull request #1069 opened by ahelwer
November 10, 2024 14:49 7m 4s ahelwer:sany-no-init-errors
ahelwer:sany-no-init-errors
November 10, 2024 14:49 7m 4s
Level-checking: fix false acceptances in OpApplNode TLA+ PR Validation #644: Pull request #1068 synchronize by ahelwer
November 9, 2024 16:00 26m 48s ahelwer:unicode-level-check
ahelwer:unicode-level-check
November 9, 2024 16:00 26m 48s
Level-checking: fix false acceptances in OpApplNode TLA+ PR Validation #643: Pull request #1068 opened by ahelwer
November 9, 2024 15:57 3m 55s ahelwer:unicode-level-check
ahelwer:unicode-level-check
November 9, 2024 15:57 3m 55s
SANY commandline enhancements TLA+ PR Validation #642: Pull request #1067 synchronize by MathieuBordere
November 9, 2024 15:47 26m 26s MathieuBordere:947-sany-commandline-cont
MathieuBordere:947-sany-commandline-cont
November 9, 2024 15:47 26m 26s
SANY commandline enhancements TLA+ PR Validation #641: Pull request #1067 opened by MathieuBordere
November 9, 2024 15:45 2m 42s MathieuBordere:947-sany-commandline-cont
MathieuBordere:947-sany-commandline-cont
November 9, 2024 15:45 2m 42s
Checking liveness properties in simulation mode creates a scalability bottleneck due to unnecessary sharing of ILiveCheck instances. TLA+ PR Validation #640: Pull request #1066 synchronize by lemmy
November 8, 2024 19:02 26m 28s mku-gh1065
mku-gh1065
November 8, 2024 19:02 26m 28s
tlaplus-dispatch CI #854: Repository dispatch triggered by lemmy
November 8, 2024 18:50 1h 5m 54s
November 8, 2024 18:50 1h 5m 54s
Prevent tests from cluttering the workspace with generated files. CI #853: Commit 6ba8ef9 pushed by lemmy
November 8, 2024 18:31 1h 0m 51s master
master
November 8, 2024 18:31 1h 0m 51s
Checking liveness properties in simulation mode creates a scalability bottleneck due to unnecessary sharing of ILiveCheck instances. TLA+ PR Validation #639: Pull request #1066 synchronize by lemmy
November 8, 2024 16:37 26m 2s mku-gh1065
mku-gh1065
November 8, 2024 16:37 26m 2s
Checking liveness properties in simulation mode creates a scalability bottleneck due to unnecessary sharing of ILiveCheck instances. TLA+ PR Validation #638: Pull request #1066 opened by lemmy
November 8, 2024 15:00 27m 59s mku-gh1065
mku-gh1065
November 8, 2024 15:00 27m 59s
tlaplus-dispatch CI #852: Repository dispatch triggered by lemmy
November 7, 2024 21:49 1h 6m 51s
November 7, 2024 21:49 1h 6m 51s
SANY: Only add variant once to commandVariants. CI #851: Commit 17e5d77 pushed by lemmy
November 7, 2024 21:30 1h 6m 55s master
master
November 7, 2024 21:30 1h 6m 55s
SANY: Remove unused stats feature from commandline. TLA+ PR Validation #637: Pull request #1064 synchronize by MathieuBordere
November 7, 2024 19:42 27m 21s MathieuBordere:947-sany-commandline
MathieuBordere:947-sany-commandline
November 7, 2024 19:42 27m 21s
SANY: Remove unused stats feature from commandline. TLA+ PR Validation #636: Pull request #1064 synchronize by MathieuBordere
November 7, 2024 18:07 27m 15s MathieuBordere:947-sany-commandline
MathieuBordere:947-sany-commandline
November 7, 2024 18:07 27m 15s
tlaplus-dispatch CI #850: Repository dispatch triggered by lemmy
November 7, 2024 17:20 1h 5m 15s
November 7, 2024 17:20 1h 5m 15s
Continue job even if publishing to OSS Sonatype fails. CI #849: Commit 7a24629 pushed by lemmy
November 7, 2024 17:02 1h 7m 10s master
master
November 7, 2024 17:02 1h 7m 10s
Evaluate the ALIAS expression on counterexamples generated by liveness CI #848: Commit 46480fe pushed by lemmy
November 7, 2024 15:57 18m 30s master
master
November 7, 2024 15:57 18m 30s
Evaluate the ALIAS expression on counterexamples generated by liveness checking while running in simulation mode. TLA+ PR Validation #633: Pull request #1063 synchronize by lemmy
November 7, 2024 01:34 26m 7s mku-AliasSimLiveness
mku-AliasSimLiveness
November 7, 2024 01:34 26m 7s