Skip to content

Actions: tlaplus/vscode-tlaplus

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
946 workflow runs
946 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix formatter failing on specs that EXTENDS CommunityModules CI #1125: Pull request #496 synchronize by FedericoPonzi
3m 39s FedericoPonzi:fponzi/formatter-cm
FedericoPonzi:fponzi/formatter-cm
3m 39s
Copilot code review Copilot code review #18: by Copilot AI
3m 14s refs/pull/496/head
refs/pull/496/head
3m 14s
Fix formatter failing on specs that EXTENDS CommunityModules CI #1124: Pull request #496 opened by FedericoPonzi
3m 32s FedericoPonzi:fponzi/formatter-cm
FedericoPonzi:fponzi/formatter-cm
3m 32s
Add tlaplus-formatter support (#327) Release #424: Commit 0c78f9f pushed by FedericoPonzi
2m 36s master
master
2m 36s
Add tlaplus-formatter support (#327) CI #1123: Commit 0c78f9f pushed by FedericoPonzi
4m 3s master
master
4m 3s
Add tlaplus-formatter support CI #1122: Pull request #327 synchronize by FedericoPonzi
3m 21s FedericoPonzi:formatter
FedericoPonzi:formatter
3m 21s
Add tlaplus-formatter support CI #1121: Pull request #327 synchronize by FedericoPonzi
8m 25s FedericoPonzi:formatter
FedericoPonzi:formatter
8m 25s
Add tlaplus-formatter support CI #1120: Pull request #327 synchronize by FedericoPonzi
4m 42s FedericoPonzi:formatter
FedericoPonzi:formatter
4m 42s
tlaplus-dispatch Release #423: Repository dispatch triggered by lemmy
2m 17s
2m 17s
Add tlaplus-formatter support CI #1119: Pull request #327 synchronize by FedericoPonzi
4m 20s FedericoPonzi:formatter
FedericoPonzi:formatter
4m 20s
Add tlaplus-formatter support CI #1118: Pull request #327 synchronize by FedericoPonzi
4m 10s FedericoPonzi:formatter
FedericoPonzi:formatter
4m 10s
Add tlaplus-formatter support CI #1117: Pull request #327 synchronize by FedericoPonzi
3m 45s FedericoPonzi:formatter
FedericoPonzi:formatter
3m 45s
tlaplus-dispatch Release #422: Repository dispatch triggered by lemmy
2m 16s
2m 16s
Model checking: deterministic config resolution + embedded .tla confi… Release #421: Commit 7a0c2fd pushed by younes-io
2m 27s master
master
2m 27s
Model checking: deterministic config resolution + embedded .tla confi… CI #1116: Commit 7a0c2fd pushed by younes-io
6m 24s master
master
6m 24s
Model checking: deterministic config resolution + embedded .tla config picking CI #1115: Pull request #495 synchronize by younes-io
4m 40s fix/model-checking-config-resolution
fix/model-checking-config-resolution
4m 40s
Model checking: deterministic config resolution + embedded .tla config picking CI #1114: Pull request #495 opened by younes-io
3m 46s fix/model-checking-config-resolution
fix/model-checking-config-resolution
3m 46s
Model checking: deterministic config resolution and config-based outputs/traces CI #1113: Pull request #494 synchronize by younes-io
3m 36s fix/restore-embedded-config-picking
fix/restore-embedded-config-picking
3m 36s
Model checking: deterministic config resolution and config-based outputs/traces CI #1112: Pull request #494 synchronize by younes-io
6m 54s fix/restore-embedded-config-picking
fix/restore-embedded-config-picking
6m 54s
tlaplus-dispatch Release #420: Repository dispatch triggered by lemmy
2m 2s
2m 2s
Merge pull request #491 from tlaplus/feature/fix-deleted-value-handling Release #419: Commit c89b9a8 pushed by younes-io
2m 44s master
master
2m 44s
Merge pull request #491 from tlaplus/feature/fix-deleted-value-handling CI #1111: Commit c89b9a8 pushed by younes-io
4m 56s master
master
4m 56s
Fix sequence diff alignment CI #1110: Pull request #493 synchronize by younes-io
3m 33s fix/sequence-diff-lcs
fix/sequence-diff-lcs
3m 33s
Merge pull request #490 from tlaplus/fix/tlc-missing-file-check Release #418: Commit 795b867 pushed by younes-io
2m 16s master
master
2m 16s
Merge pull request #490 from tlaplus/fix/tlc-missing-file-check CI #1109: Commit 795b867 pushed by younes-io
3m 22s master
master
3m 22s