Skip to content

Actions: tlaplus/tlaplus

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Split FunctionValue out of Applicable TLA+ PR Validation #86: Pull request #843 opened by Calvin-L
November 9, 2023 20:48 21m 18s split-applicable-from-opvalue
split-applicable-from-opvalue
November 9, 2023 20:48 21m 18s
Performance Tests TLC Performance Tests TLC #97: Scheduled
November 9, 2023 05:54 9h 27m 5s master
master
November 9, 2023 05:54 9h 27m 5s