Skip to content

Actions: tlaplus/tlapm

Actions

Build & Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
165 workflow runs
165 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI: run more examples proofs (#246) Build & Test #296: Commit 471b481 pushed by ahelwer
46m 3s main
main
46m 3s
CI: run more examples proofs Build & Test #295: Pull request #246 opened by ahelwer
49m 43s ahelwer:ci-example-proofs
ahelwer:ci-example-proofs
49m 43s
Add unit tests for CLI parsing (#243) Build & Test #294: Commit f9e0ce4 pushed by ahelwer
39m 3s main
main
39m 3s
Add unit tests for CLI parsing Build & Test #293: Pull request #243 synchronize by ahelwer
42m 51s ahelwer:test-cli
ahelwer:test-cli
42m 51s
fix broken proofs in examples (#244) Build & Test #292: Commit 80088ef pushed by muenchnerkindl
36m 33s main
main
36m 33s
fix broken proofs in examples Build & Test #291: Pull request #244 opened by muenchnerkindl
36m 52s fs-induction
fs-induction
36m 52s
Add unit tests for CLI parsing Build & Test #290: Pull request #243 synchronize by ahelwer
29m 17s ahelwer:test-cli
ahelwer:test-cli
29m 17s
Add unit tests for CLI parsing Build & Test #289: Pull request #243 opened by ahelwer
25m 30s ahelwer:test-cli
ahelwer:test-cli
25m 30s
Compare TLAPM AST with expected AST in syntax tests (#229) Build & Test #288: Commit e988715 pushed by ahelwer
37m 46s main
main
37m 46s
Compare TLAPM AST with expected AST in syntax tests Build & Test #287: Pull request #229 synchronize by ahelwer
29m 24s ahelwer:full-syntax-tests
ahelwer:full-syntax-tests
29m 24s
Compare TLAPM AST with expected AST in syntax tests Build & Test #286: Pull request #229 synchronize by ahelwer
36m 39s ahelwer:full-syntax-tests
ahelwer:full-syntax-tests
36m 39s
Compare TLAPM AST with expected AST in syntax tests Build & Test #285: Pull request #229 synchronize by ahelwer
24m 43s ahelwer:full-syntax-tests
ahelwer:full-syntax-tests
24m 43s
Compare TLAPM AST with expected AST in syntax tests Build & Test #284: Pull request #229 synchronize by ahelwer
21m 19s ahelwer:full-syntax-tests
ahelwer:full-syntax-tests
21m 19s
Compare TLAPM AST with expected AST in syntax tests Build & Test #283: Pull request #229 synchronize by ahelwer
31m 12s ahelwer:full-syntax-tests
ahelwer:full-syntax-tests
31m 12s
Compare TLAPM AST with expected AST in syntax tests Build & Test #282: Pull request #229 synchronize by ahelwer
38m 30s ahelwer:full-syntax-tests
ahelwer:full-syntax-tests
38m 30s
LSP: Proof decomposition code actions. Build & Test #281: Pull request #241 synchronize by kape1395
28m 31s lsp-decompose-proof
lsp-decompose-proof
28m 31s
LSP: Proof decomposition code actions. Build & Test #280: Pull request #241 synchronize by kape1395
31m 3s lsp-decompose-proof
lsp-decompose-proof
31m 3s
LSP: Proof decomposition code actions. Build & Test #279: Pull request #241 synchronize by kape1395
26m 51s lsp-decompose-proof
lsp-decompose-proof
26m 51s
LSP: Proof decomposition code actions. Build & Test #278: Pull request #241 synchronize by kape1395
35m 29s lsp-decompose-proof
lsp-decompose-proof
35m 29s
LSP: Proof decomposition code actions. Build & Test #277: Pull request #241 synchronize by kape1395
22m 9s lsp-decompose-proof
lsp-decompose-proof
22m 9s
LSP: Proof decomposition code actions. Build & Test #276: Pull request #241 synchronize by kape1395
7m 13s lsp-decompose-proof
lsp-decompose-proof
7m 13s
LSP: Proof decomposition code actions. Build & Test #275: Pull request #241 synchronize by kape1395
34m 29s lsp-decompose-proof
lsp-decompose-proof
34m 29s
LSP: Proof decomposition code actions. Build & Test #274: Pull request #241 synchronize by kape1395
21m 2s lsp-decompose-proof
lsp-decompose-proof
21m 2s
LSP: Proof decomposition code actions. Build & Test #273: Pull request #241 opened by kape1395
23m 47s lsp-decompose-proof
lsp-decompose-proof
23m 47s
Suffix module names with 'Fork' to avoid conflicts with newer version… Build & Test #272: Commit 386cb32 pushed by lemmy
40m 54s main
main
40m 54s