Skip to content

Actions: tlaplus/tlapm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
298 workflow runs
298 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI: Update tlaplus/example script parameters Build & Test #260: Commit 575fd8b pushed by ahelwer
August 1, 2025 21:26 27m 44s main
main
August 1, 2025 21:26 27m 44s
CI: Update tlaplus/example script parameters Rolling Pre-release #34: Commit 575fd8b pushed by ahelwer
August 1, 2025 21:26 11m 41s main
main
August 1, 2025 21:26 11m 41s
pages build and deployment pages-build-deployment #54: by ahelwer
August 1, 2025 21:26 32s main
main
August 1, 2025 21:26 32s
CI: Update tlaplus/example script parameters Build & Test #259: Pull request #236 synchronize by ahelwer
August 1, 2025 20:48 33m 57s ahelwer:ci-example-scripts
ahelwer:ci-example-scripts
August 1, 2025 20:48 33m 57s
CI: Update tlaplus/example script parameters Build & Test #258: Pull request #236 opened by ahelwer
August 1, 2025 20:30 17m 11s ahelwer:ci-example-scripts
ahelwer:ci-example-scripts
August 1, 2025 20:30 17m 11s
Compare TLAPM AST with expected AST in syntax tests Build & Test #257: Pull request #229 synchronize by ahelwer
July 29, 2025 19:29 25m 3s ahelwer:full-syntax-tests
ahelwer:full-syntax-tests
July 29, 2025 19:29 25m 3s
Compare TLAPM AST with expected AST in syntax tests Build & Test #256: Pull request #229 synchronize by ahelwer
July 25, 2025 19:35 28m 29s ahelwer:full-syntax-tests
ahelwer:full-syntax-tests
July 25, 2025 19:35 28m 29s
README: updated description of TLAPS vs TLAPM Rolling Pre-release #33: Commit 4ffa620 pushed by ahelwer
July 23, 2025 17:42 15m 51s main
main
July 23, 2025 17:42 15m 51s
README: updated description of TLAPS vs TLAPM Build & Test #255: Commit 4ffa620 pushed by ahelwer
July 23, 2025 17:42 39m 16s main
main
July 23, 2025 17:42 39m 16s
pages build and deployment pages-build-deployment #53: by ahelwer
July 23, 2025 17:42 24s main
main
July 23, 2025 17:42 24s
README: updated description of TLAPS vs TLAPM Build & Test #254: Pull request #232 synchronize by ahelwer
July 23, 2025 17:41 1m 6s ahelwer:readme-tlapm-tlaps
ahelwer:readme-tlapm-tlaps
July 23, 2025 17:41 1m 6s
README: updated description of TLAPS vs TLAPM Build & Test #253: Pull request #232 synchronize by ahelwer
July 22, 2025 20:06 29m 17s ahelwer:readme-tlapm-tlaps
ahelwer:readme-tlapm-tlaps
July 22, 2025 20:06 29m 17s
README: updated description of TLAPS vs TLAPM Build & Test #252: Pull request #232 opened by ahelwer
July 22, 2025 19:57 8m 40s ahelwer:readme-tlapm-tlaps
ahelwer:readme-tlapm-tlaps
July 22, 2025 19:57 8m 40s
CI: stretch library proof check times Build & Test #251: Commit c8ca095 pushed by ahelwer
July 21, 2025 18:33 29m 38s main
main
July 21, 2025 18:33 29m 38s
CI: stretch library proof check times Rolling Pre-release #32: Commit c8ca095 pushed by ahelwer
July 21, 2025 18:33 17m 44s main
main
July 21, 2025 18:33 17m 44s
pages build and deployment pages-build-deployment #52: by ahelwer
July 21, 2025 18:33 23s main
main
July 21, 2025 18:33 23s
CI: stretch library proof check times Build & Test #250: Pull request #230 opened by ahelwer
July 21, 2025 17:21 33m 42s ahelwer:ci-stretch
ahelwer:ci-stretch
July 21, 2025 17:21 33m 42s
Compare TLAPM AST with expected AST in syntax tests Build & Test #249: Pull request #229 opened by ahelwer
July 14, 2025 04:29 21m 49s ahelwer:full-syntax-tests
ahelwer:full-syntax-tests
July 14, 2025 04:29 21m 49s
CI: only run tests for OCaml 5 or higher Build & Test #248: Pull request #224 synchronize by ahelwer
June 23, 2025 20:13 29m 29s ahelwer:ci-only-use-ocaml-5-1
ahelwer:ci-only-use-ocaml-5-1
June 23, 2025 20:13 29m 29s
CI: only run tests for OCaml 5 or higher Build & Test #247: Pull request #224 opened by ahelwer
June 23, 2025 20:11 22s ahelwer:ci-only-use-ocaml-5-1
ahelwer:ci-only-use-ocaml-5-1
June 23, 2025 20:11 22s
CI: move library proof check below unit tests Build & Test #246: Commit 2371e13 pushed by ahelwer
June 23, 2025 20:07 33m 13s main
main
June 23, 2025 20:07 33m 13s
CI: move library proof check below unit tests Rolling Pre-release #31: Commit 2371e13 pushed by ahelwer
June 23, 2025 20:07 18m 51s main
main
June 23, 2025 20:07 18m 51s
pages build and deployment pages-build-deployment #51: by ahelwer
June 23, 2025 20:07 30s main
main
June 23, 2025 20:07 30s
CI: move library proof check below unit tests Build & Test #245: Pull request #223 opened by ahelwer
June 23, 2025 14:54 21m 53s ahelwer:ci-move-library-proof-check
ahelwer:ci-move-library-proof-check
June 23, 2025 14:54 21m 53s
Isabelle2025 (#217) Build & Test #244: Commit e26fb2b pushed by muenchnerkindl
June 23, 2025 06:44 26m 52s main
main
June 23, 2025 06:44 26m 52s