Skip to content

Actions: tlaplus/tlapm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
178 workflow runs
178 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
Proof decomposition by template. Build & Test #383: Pull request #268 synchronize by kape1395
35m 49s lsp-decompose-proof-tpl
lsp-decompose-proof-tpl
35m 49s
Proof decomposition by template. Build & Test #382: Pull request #268 synchronize by kape1395
21m 24s lsp-decompose-proof-tpl
lsp-decompose-proof-tpl
21m 24s
Proof decomposition by template. Build & Test #381: Pull request #268 synchronize by kape1395
39m 2s lsp-decompose-proof-tpl
lsp-decompose-proof-tpl
39m 2s
Proof decomposition by template. Build & Test #380: Pull request #268 synchronize by kape1395
38m 10s lsp-decompose-proof-tpl
lsp-decompose-proof-tpl
38m 10s
Proof decomposition by template. Build & Test #379: Pull request #268 synchronize by kape1395
32m 18s lsp-decompose-proof-tpl
lsp-decompose-proof-tpl
32m 18s
Proof decomposition by template. Build & Test #378: Pull request #268 synchronize by kape1395
38m 47s lsp-decompose-proof-tpl
lsp-decompose-proof-tpl
38m 47s
doc: align Download/Binaries pages with README (#288) Build & Test #377: Commit 4600b24 pushed by muenchnerkindl
43m 52s main
main
43m 52s
doc: align Download/Binaries pages with README (#288) Rolling Pre-release #54: Commit 4600b24 pushed by muenchnerkindl
16m 12s main
main
16m 12s
pages build and deployment pages-build-deployment #74: by muenchnerkindl
38s main
main
38s
doc: align Download/Binaries pages with README Build & Test #376: Pull request #288 opened by vasilisnasopoulos
40m 47s vasilisnasopoulos:align-binaries-docs-with-readme
vasilisnasopoulos:align-binaries-docs-with-readme
40m 47s
Add a deterministic Z3 rlimit budget via SMTT("rN") (#283) Rolling Pre-release #53: Commit 096df83 pushed by muenchnerkindl
14m 5s main
main
14m 5s
Add a deterministic Z3 rlimit budget via SMTT("rN") (#283) Build & Test #375: Commit 096df83 pushed by muenchnerkindl
41m 14s main
main
41m 14s
pages build and deployment pages-build-deployment #73: by muenchnerkindl
1m 39s main
main
1m 39s
Add a deterministic Z3 rlimit budget via SMTT("rN") Build & Test #374: Pull request #283 synchronize by tangruize
41m 14s tangruize:feat-281-smt-rlimit
tangruize:feat-281-smt-rlimit
41m 14s
Keep record-flattening refactorings tractable in TLAPS Build & Test #373: Pull request #285 opened by lemmy
38m 5s lemmy:mku-records
lemmy:mku-records
38m 5s
Kill orphaned prover processes on Linux when tlapm dies Build & Test #372: Pull request #284 opened by tangruize
36m 14s tangruize:feat-kill-orphaned-provers-pdeathsig
tangruize:feat-kill-orphaned-provers-pdeathsig
36m 14s
Add a deterministic Z3 rlimit budget via SMTT("rN") Build & Test #371: Pull request #283 synchronize by tangruize
37m 2s tangruize:feat-281-smt-rlimit
tangruize:feat-281-smt-rlimit
37m 2s
Fix crash when a DEF clause cites a non-definition (#280) (#282) Rolling Pre-release #52: Commit 3ab43c7 pushed by muenchnerkindl
16m 52s main
main
16m 52s
Fix crash when a DEF clause cites a non-definition (#280) (#282) Build & Test #370: Commit 3ab43c7 pushed by muenchnerkindl
34m 27s main
main
34m 27s
pages build and deployment pages-build-deployment #72: by muenchnerkindl
37s main
main
37s
Fix crash when a DEF clause cites a non-definition Build & Test #367: Pull request #282 opened by tangruize
43m 25s tangruize:fix-280-def-nondef
tangruize:fix-280-def-nondef
43m 25s
Check local example proofs (#257) Build & Test #366: Commit 763bf3c pushed by ahelwer
40m 32s main
main
40m 32s
Check local example proofs (#257) Rolling Pre-release #51: Commit 763bf3c pushed by ahelwer
12m 49s main
main
12m 49s
pages build and deployment pages-build-deployment #71: by ahelwer
29s main
main
29s
Running Copilot Code Review Copilot #4: by Copilot AI
1m 40s main
main
1m 40s