Skip to content

Actions: tlaplus/tlaplus

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Move resource files to a dedicated folder CI #635: Commit 34787ac pushed by Calvin-L
December 1, 2023 01:18 39m 22s master
master
December 1, 2023 01:18 39m 22s
Fix an infinite loop in FingerprintException.asTrace() TLA+ PR Validation #91: Pull request #850 opened by Calvin-L
December 1, 2023 01:16 21m 20s fix-asTrace-hang
fix-asTrace-hang
December 1, 2023 01:16 21m 20s
Move resource files to a dedicated folder TLA+ PR Validation #90: Pull request #848 synchronize by Calvin-L
December 1, 2023 00:24 21m 29s separate-resources-folder
separate-resources-folder
December 1, 2023 00:24 21m 29s
Variables not working as Watch expression. CI #634: Commit 503a1e4 pushed by lemmy
November 30, 2023 20:06 1h 26m 31s master
master
November 30, 2023 20:06 1h 26m 31s
Performance Tests TLC Performance Tests TLC #100: Scheduled
November 30, 2023 05:54 9h 30m 0s master
master
November 30, 2023 05:54 9h 30m 0s
Performance Tests TLC Performance Tests TLC #99: Scheduled
November 23, 2023 05:54 9h 37m 14s master
master
November 23, 2023 05:54 9h 37m 14s
Move resource files to a dedicated folder TLA+ PR Validation #89: Pull request #848 opened by Calvin-L
November 20, 2023 22:08 21m 11s separate-resources-folder
separate-resources-folder
November 20, 2023 22:08 21m 11s
Pass CostModel (if any) when evaluating a FcnLambdaValue. CI #633: Commit 017168c pushed by lemmy
November 17, 2023 05:15 34m 51s master
master
November 17, 2023 05:15 34m 51s
Wrong coverage reported for conditional such as IF-THEN-ELSE TLA+ PR Validation #88: Pull request #846 opened by lemmy
November 17, 2023 04:45 32s mku-gh845
mku-gh845
November 17, 2023 04:45 32s
Performance Tests TLC Performance Tests TLC #98: Scheduled
November 16, 2023 05:54 9h 34m 1s master
master
November 16, 2023 05:54 9h 34m 1s
Split FunctionValue out of Applicable CI #632: Commit b125618 pushed by Calvin-L
November 15, 2023 21:00 37m 12s master
master
November 15, 2023 21:00 37m 12s
Use skip parameter for tlaplus/examples CI CI #631: Commit 8800eee pushed by lemmy
November 14, 2023 17:25 37m 45s master
master
November 14, 2023 17:25 37m 45s
Use skip parameter for tlaplus/examples CI TLA+ PR Validation #87: Pull request #844 opened by ahelwer
November 11, 2023 18:10 18m 41s ahelwer:ci-examples-skip
ahelwer:ci-examples-skip
November 11, 2023 18:10 18m 41s
ProTip! You can narrow down the results and go further in time using created:<2023-11-11 or the other filters available.