Skip to content

Actions: tlaplus/tlaplus

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Vendored JAR Dependency Submission Vendored JAR Dependency Submission #2: Scheduled
1m 0s master
master
1m 0s
tlaplus-dispatch CI #1205: Repository dispatch triggered by lemmy
6h 0m 56s
6h 0m 56s
pages build and deployment pages-build-deployment #163: by lemmy
39s master
master
39s
Vendored JAR Dependency Submission Vendored JAR Dependency Submission #1: Manually run by lemmy
10s master
master
10s
Automatic Dependency Submission (Maven) Automatic Dependency Submission #2: by github-advanced-security AI
47s master
master
47s
pages build and deployment pages-build-deployment #162: by lemmy
36s master
master
36s
Automatic Dependency Submission (Maven) Automatic Dependency Submission #1: by github-advanced-security AI
52s master
master
52s
tlaplus-dispatch CI #1204: Repository dispatch triggered by lemmy
41m 26s
41m 26s
tlaplus-dispatch CI #1203: Repository dispatch triggered by lemmy
23m 0s
23m 0s
fix: show config file errors directly without 'unexpected exception' … CI #1202: Commit 227f61b pushed by lemmy
23m 10s master
master
23m 10s
pages build and deployment pages-build-deployment #161: by lemmy
57s master
master
57s
Fix formatter layout for nested conjunction-list infix operands CI #1201: Commit 042d526 pushed by lemmy
24m 2s master
master
24m 2s
pages build and deployment pages-build-deployment #160: by lemmy
46s master
master
46s
fix: show config file errors directly without 'unexpected exception' wrapper TLA+ PR Validation #1594: Pull request #1378 synchronize by mvanhorn
1h 11m 8s mvanhorn:osc/1234-improve-config-error-msg
mvanhorn:osc/1234-improve-config-error-msg
1h 11m 8s
Performance Tests TLC Performance Tests TLC #183: Scheduled
9h 45m 55s master
master
9h 45m 55s
Fix formatter AST verification failure for nested conjunction-list infix operands TLA+ PR Validation #1593: Pull request #1396 synchronize by Stool233
1h 10m 57s Stool233:issue-1395-formatter-nested-conj-list
Stool233:issue-1395-formatter-nested-conj-list
1h 10m 57s
Fix formatter AST verification failure for nested conjunction-list infix operands TLA+ PR Validation #1592: Pull request #1396 opened by Stool233
Action required Stool233:issue-1395-formatter-nested-conj-list
Stool233:issue-1395-formatter-nested-conj-list
Action required
TLC: Add support for EXPECT statement in model config file TLA+ PR Validation #1591: Pull request #1269 synchronize by ahelwer
32m 33s ahelwer:expect-model-result
ahelwer:expect-model-result
32m 33s
SANY: add spec dir to include paths by default TLA+ PR Validation #1590: Pull request #1387 synchronize by ahelwer
32m 48s ahelwer:sany-include-root-spec-dir
ahelwer:sany-include-root-spec-dir
32m 48s
Running Copilot Code Review Copilot #2: by Copilot AI
6m 29s master
master
6m 29s
SANY: add spec dir to include paths by default TLA+ PR Validation #1589: Pull request #1387 synchronize by ahelwer
32m 52s ahelwer:sany-include-root-spec-dir
ahelwer:sany-include-root-spec-dir
32m 52s
Performance Tests TLC Performance Tests TLC #182: Scheduled
9h 45m 33s master
master
9h 45m 33s
SANY: add spec dir to include paths by default TLA+ PR Validation #1588: Pull request #1387 synchronize by ahelwer
23m 56s ahelwer:sany-include-root-spec-dir
ahelwer:sany-include-root-spec-dir
23m 56s
SANY: add spec dir to include paths by default TLA+ PR Validation #1587: Pull request #1387 synchronize by ahelwer
4m 35s ahelwer:sany-include-root-spec-dir
ahelwer:sany-include-root-spec-dir
4m 35s
SANY: add spec dir to include paths by default TLA+ PR Validation #1586: Pull request #1387 synchronize by ahelwer
33m 28s ahelwer:sany-include-root-spec-dir
ahelwer:sany-include-root-spec-dir
33m 28s