Skip to content

Actions: tlaplus/vscode-tlaplus

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
993 workflow runs
993 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
tlaplus-dispatch Release #499: Repository dispatch triggered by lemmy
2m 41s
2m 41s
tlaplus-dispatch Release #498: Repository dispatch triggered by lemmy
2m 51s
2m 51s
Fix flaky tests on Windows (#525) CI #1212: Commit acc095d pushed by FedericoPonzi
10m 52s master
master
10m 52s
Fix flaky tests on Windows (#525) Release #497: Commit acc095d pushed by FedericoPonzi
2m 25s master
master
2m 25s
Fix flaky tests on Windows CI #1211: Pull request #525 synchronize by FedericoPonzi
5m 41s FedericoPonzi:fponzi/improve-latex-win
FedericoPonzi:fponzi/improve-latex-win
5m 41s
Fix flaky tests on Windows CI #1210: Pull request #525 synchronize by FedericoPonzi
6m 49s FedericoPonzi:fponzi/improve-latex-win
FedericoPonzi:fponzi/improve-latex-win
6m 49s
Fix flaky tests on Windows CI #1209: Pull request #525 opened by FedericoPonzi
11m 34s FedericoPonzi:fponzi/improve-latex-win
FedericoPonzi:fponzi/improve-latex-win
11m 34s
Enhance cancellation handling in CheckModel tests Release #496: Commit e40cbbd pushed by lemmy
2m 43s master
master
2m 43s
Enhance cancellation handling in CheckModel tests CI #1208: Commit e40cbbd pushed by lemmy
2m 1s master
master
2m 1s
Fix fetch failed on long-running MCP TLC tool calls CI #1207: Pull request #524 reopened by lemmy
7m 15s mku-MCPHeartbeat
mku-MCPHeartbeat
7m 15s
Fix fetch failed on long-running MCP TLC tool calls CI #1206: Pull request #524 synchronize by lemmy
6m 38s mku-MCPHeartbeat
mku-MCPHeartbeat
6m 38s
Fix fetch failed on long-running MCP TLC tool calls CI #1205: Pull request #524 synchronize by lemmy
6m 12s mku-MCPHeartbeat
mku-MCPHeartbeat
6m 12s
Copilot code review Copilot code review #23: by Copilot AI
5m 28s refs/pull/524/head
refs/pull/524/head
5m 28s
Fix fetch failed on long-running MCP TLC tool calls CI #1204: Pull request #524 opened by lemmy
7m 30s mku-MCPHeartbeat
mku-MCPHeartbeat
7m 30s
tlaplus-dispatch Release #495: Repository dispatch triggered by lemmy
2m 22s
2m 22s
Initial model-editor setup CI #1203: Pull request #522 synchronize by FedericoPonzi
6m 9s FedericoPonzi:fponzi/initial-me
FedericoPonzi:fponzi/initial-me
6m 9s
Bump the all-dependencies group across 1 directory with 33 updates CI #1202: Pull request #523 opened by dependabot Bot
21s dependabot/npm_and_yarn/all-dependencies-1ee7d3c0ae
dependabot/npm_and_yarn/all-dependencies-1ee7d3c0ae
21s
npm_and_yarn in / for @modelcontextprotocol/sdk, @vscode-elements/elements, @vscode-elements/react-elements, @vscode/codicons, @vscode/debugadapter, adm-zip, chart.js, express, fast-xml-parser, moment, react, @types/react, react-chartjs-2, react-dom, @types/react-dom, zod, @playwright/test, @types/adm-zip, @types/express, @types/react, @types/react-dom, @types/vscode, @typescript-eslint/eslint-plugin, @typescript-eslint/parser, @vscode/debugadapter-testsupport, @vscode/test-electron, @vscode/test-web, es... Dependabot Updates #51: by dependabot Bot
4m 52s master
master
4m 52s
npm_and_yarn in /. - Update #1344640900 Dependabot Updates #50: by dependabot Bot
1m 2s master
master
1m 2s
Initial model-editor setup CI #1201: Pull request #522 synchronize by FedericoPonzi
3m 6s FedericoPonzi:fponzi/initial-me
FedericoPonzi:fponzi/initial-me
3m 6s
tlaplus-dispatch Release #494: Repository dispatch triggered by lemmy
2m 8s
2m 8s
tlaplus-dispatch Release #493: Repository dispatch triggered by lemmy
2m 51s
2m 51s
Initial model-editor setup CI #1200: Pull request #522 synchronize by FedericoPonzi
5m 33s FedericoPonzi:fponzi/initial-me
FedericoPonzi:fponzi/initial-me
5m 33s
Initial model-editor setup CI #1199: Pull request #522 opened by FedericoPonzi
6m 38s FedericoPonzi:fponzi/initial-me
FedericoPonzi:fponzi/initial-me
6m 38s
If latex command setting is specified, pass it down to tla2tex (#518) Release #492: Commit 8f6760e pushed by FedericoPonzi
2m 48s master
master
2m 48s