Skip to content

Actions: tlaplus/vscode-tlaplus

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
975 workflow runs
975 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
Add model editor support CI #1191: Pull request #519 synchronize by FedericoPonzi
4m 6s FedericoPonzi:fponzi/model-editor
FedericoPonzi:fponzi/model-editor
4m 6s
Add model editor support CI #1190: Pull request #519 synchronize by FedericoPonzi
4m 32s FedericoPonzi:fponzi/model-editor
FedericoPonzi:fponzi/model-editor
4m 32s
Add model editor support CI #1189: Pull request #519 synchronize by FedericoPonzi
4m 3s FedericoPonzi:fponzi/model-editor
FedericoPonzi:fponzi/model-editor
4m 3s
Add model editor support CI #1188: Pull request #519 synchronize by FedericoPonzi
3m 45s FedericoPonzi:fponzi/model-editor
FedericoPonzi:fponzi/model-editor
3m 45s
Add model editor support CI #1187: Pull request #519 synchronize by FedericoPonzi
3m 45s FedericoPonzi:fponzi/model-editor
FedericoPonzi:fponzi/model-editor
3m 45s
Add model editor support CI #1186: Pull request #519 opened by FedericoPonzi
4m 10s FedericoPonzi:fponzi/model-editor
FedericoPonzi:fponzi/model-editor
4m 10s
If latex command setting is specified, pass it down to tla2tex CI #1185: Pull request #518 synchronize by FedericoPonzi
6m 13s FedericoPonzi:fponzi/266
FedericoPonzi:fponzi/266
6m 13s
If latex command setting is specified, pass it down to tla2tex CI #1184: Pull request #518 synchronize by FedericoPonzi
10m 10s FedericoPonzi:fponzi/266
FedericoPonzi:fponzi/266
10m 10s
If latex command setting is specified, pass it down to tla2tex CI #1183: Pull request #518 synchronize by FedericoPonzi
3m 57s FedericoPonzi:fponzi/266
FedericoPonzi:fponzi/266
3m 57s
If latex command setting is specified, pass it down to tla2tex CI #1182: Pull request #518 opened by FedericoPonzi
4m 21s FedericoPonzi:fponzi/266
FedericoPonzi:fponzi/266
4m 21s
Detect Pluscal/TLA+ divergence before translating (#516) Release #487: Commit 30e12a2 pushed by FedericoPonzi
1m 39s master
master
1m 39s
Detect Pluscal/TLA+ divergence before translating (#516) CI #1181: Commit 30e12a2 pushed by FedericoPonzi
3m 38s master
master
3m 38s
Detect Pluscal/TLA+ divergence before translating CI #1180: Pull request #516 synchronize by FedericoPonzi
3m 39s fponzi/166
fponzi/166
3m 39s
Detect Pluscal/TLA+ divergence before translating CI #1179: Pull request #516 synchronize by FedericoPonzi
3m 55s fponzi/166
fponzi/166
3m 55s
Detect Pluscal/TLA+ divergence before translating CI #1178: Pull request #516 synchronize by FedericoPonzi
3m 34s fponzi/166
fponzi/166
3m 34s
Detect Pluscal/TLA+ divergence before translating CI #1177: Pull request #516 synchronize by FedericoPonzi
1m 33s fponzi/166
fponzi/166
1m 33s
tlaplus-dispatch Release #486: Repository dispatch triggered by lemmy
1m 38s
1m 38s
Pin GH workflow's actiions to specific commits (#517) CI #1176: Commit 8862ea1 pushed by FedericoPonzi
5m 51s master
master
5m 51s
Pin GH workflow's actiions to specific commits (#517) Release #485: Commit 8862ea1 pushed by FedericoPonzi
1m 53s master
master
1m 53s
Pin GH workflow's actions to specific commits CI #1175: Pull request #517 synchronize by FedericoPonzi
4m 14s FedericoPonzi:fponzi/workflow-pinning
FedericoPonzi:fponzi/workflow-pinning
4m 14s
Pin GH workflow's actions to specific commits CI #1174: Pull request #517 opened by FedericoPonzi
3m 56s FedericoPonzi:fponzi/workflow-pinning
FedericoPonzi:fponzi/workflow-pinning
3m 56s
Detect Pluscal/TLA+ divergence before translating CI #1173: Pull request #516 synchronize by FedericoPonzi
4m 4s fponzi/166
fponzi/166
4m 4s
tlaplus-dispatch Release #484: Repository dispatch triggered by lemmy
2m 17s
2m 17s
tlaplus-dispatch Release #483: Repository dispatch triggered by lemmy
2m 3s
2m 3s
tlaplus-dispatch Release #482: Repository dispatch triggered by lemmy
1m 43s
1m 43s