Skip to content

Actions: tlaplus/tlaplus

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add stdio-based MCP server with TLA+ tools and knowledge base TLA+ PR Validation #1286: Pull request #1296 synchronize by lemmy
29m 6s mku-mcp
mku-mcp
29m 6s
Replace System.exit with exception in SANY command-line parsing. CI #1125: Commit db727a7 pushed by lemmy
1h 0m 23s master
master
1h 0m 23s
pages build and deployment pages-build-deployment #88: by lemmy
42s master
master
42s
Add stdio-based MCP server with TLA+ tools and knowledge base TLA+ PR Validation #1285: Pull request #1296 synchronize by lemmy
6h 5m 4s mku-mcp
mku-mcp
6h 5m 4s
Add stdio-based MCP server with TLA+ tools and knowledge base TLA+ PR Validation #1284: Pull request #1296 synchronize by lemmy
29m 58s mku-mcp
mku-mcp
29m 58s
Replace System.exit with exception TLA+ PR Validation #1283: Pull request #1300 synchronize by lemmy
29m 46s mku-SystemExit
mku-SystemExit
29m 46s
Copilot code review Copilot code review #35: by Copilot AI
4m 41s refs/pull/1300/head
refs/pull/1300/head
4m 41s
Replace System.exit with exception TLA+ PR Validation #1282: Pull request #1300 synchronize by lemmy
25m 51s mku-SystemExit
mku-SystemExit
25m 51s
Replace System.exit with exception TLA+ PR Validation #1281: Pull request #1300 opened by lemmy
23m 10s mku-SystemExit
mku-SystemExit
23m 10s
Add stdio-based MCP server with TLA+ tools and knowledge base TLA+ PR Validation #1280: Pull request #1296 synchronize by lemmy
30m 10s mku-mcp
mku-mcp
30m 10s
Upload tla2tools.jar as separate artifact in PR workflow. CI #1124: Commit ec44407 pushed by lemmy
57m 33s master
master
57m 33s
pages build and deployment pages-build-deployment #87: by lemmy
45s master
master
45s
Upload tla2tools.jar as separate artifact in PR workflow. TLA+ PR Validation #1279: Pull request #1298 opened by lemmy
29m 40s mku-PRtla2tools
mku-PRtla2tools
29m 40s
Allow simultaneous use of -loadTrace and -dumpTrace options. CI #1123: Commit 5eeb01f pushed by lemmy
1h 12m 8s master
master
1h 12m 8s
pages build and deployment pages-build-deployment #86: by lemmy
45s master
master
45s
Copilot code review Copilot code review #34: by Copilot AI
4m 36s refs/pull/1297/head
refs/pull/1297/head
4m 36s
Allow simultaneous use of -loadTrace and -dumpTrace options. TLA+ PR Validation #1278: Pull request #1297 opened by lemmy
29m 22s mku-LoadDumpTrace
mku-LoadDumpTrace
29m 22s
Add stdio-based MCP server with TLA+ tools and knowledge base TLA+ PR Validation #1277: Pull request #1296 synchronize by lemmy
28m 44s mku-mcp
mku-mcp
28m 44s
Add stdio-based MCP server with TLA+ tools and knowledge base TLA+ PR Validation #1276: Pull request #1296 synchronize by lemmy
29m 40s mku-mcp
mku-mcp
29m 40s
Add stdio-based MCP server with TLA+ tools and knowledge base TLA+ PR Validation #1275: Pull request #1296 opened by lemmy
28m 58s mku-mcp
mku-mcp
28m 58s
Add comprehensive corpus test for XMLExporter to validate TLA+ module exports. TLA+ PR Validation #1274: Pull request #1295 opened by lemmy
16m 36s mku-xmlExporterTestCoverage
mku-xmlExporterTestCoverage
16m 36s
XML exporter cannot handle CASE statement with OTHER branch CI #1122: Commit 721239b pushed by lemmy
6h 0m 22s master
master
6h 0m 22s
pages build and deployment pages-build-deployment #85: by lemmy
52s master
master
52s
Add index page for explain.tlapl.us CI #1121: Commit a854b6e pushed by lemmy
6h 0m 24s master
master
6h 0m 24s
pages build and deployment pages-build-deployment #84: by lemmy
46s master
master
46s