Skip to content

Actions: tlaplus/tlapm

Actions

Build on PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
149 workflow runs
149 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Try use Isabelle2024-RC2. Build on PR #364: Pull request #124 synchronize by kape1395
April 27, 2024 09:42 18m 22s isabelle2020-dune-2024RC2
isabelle2020-dune-2024RC2
April 27, 2024 09:42 18m 22s
Try use Isabelle2024-RC2. Build on PR #363: Pull request #124 synchronize by muenchnerkindl
April 23, 2024 13:56 25m 40s isabelle2020-dune-2024RC2
isabelle2020-dune-2024RC2
April 23, 2024 13:56 25m 40s
Try use Isabelle2024-RC2. Build on PR #362: Pull request #124 synchronize by muenchnerkindl
April 23, 2024 13:48 39m 49s isabelle2020-dune-2024RC2
isabelle2020-dune-2024RC2
April 23, 2024 13:48 39m 49s
Try use Isabelle2024-RC2. Build on PR #361: Pull request #124 synchronize by kape1395
April 21, 2024 12:03 53m 51s isabelle2020-dune-2024RC2
isabelle2020-dune-2024RC2
April 21, 2024 12:03 53m 51s
Added Arch Linux instructions to INSTALL.md Build on PR #360: Pull request #126 opened by ahelwer
April 20, 2024 17:50 21m 22s ahelwer:arch-install
ahelwer:arch-install
April 20, 2024 17:50 21m 22s
Unify pr/main workflows and use tlaplus/examples as integration tests Build on PR #359: Pull request #96 synchronize by ahelwer
April 20, 2024 16:31 39m 20s ahelwer:examples-ci
ahelwer:examples-ci
April 20, 2024 16:31 39m 20s
Unify pr/main workflows and use tlaplus/examples as integration tests Build on PR #358: Pull request #96 synchronize by ahelwer
April 20, 2024 16:22 19m 43s ahelwer:examples-ci
ahelwer:examples-ci
April 20, 2024 16:22 19m 43s
Unify pr/main workflows and use tlaplus/examples as integration tests Build on PR #357: Pull request #96 synchronize by ahelwer
April 20, 2024 16:21 Startup failure ahelwer:examples-ci
ahelwer:examples-ci
April 20, 2024 16:21 Startup failure
Try use Isabelle2024-RC2. Build on PR #356: Pull request #124 synchronize by kape1395
April 20, 2024 07:23 49m 43s isabelle2020-dune-2024RC2
isabelle2020-dune-2024RC2
April 20, 2024 07:23 49m 43s
Try use Isabelle2024-RC2. Build on PR #355: Pull request #124 synchronize by kape1395
April 20, 2024 06:54 35m 50s isabelle2020-dune-2024RC2
isabelle2020-dune-2024RC2
April 20, 2024 06:54 35m 50s
Make the new isabelle to work with the dune-based build. Build on PR #354: Commit 21bbf9f pushed by kape1395
April 20, 2024 06:54 45m 41s isabelle2020
isabelle2020
April 20, 2024 06:54 45m 41s
Build on PR Build on PR #353: Scheduled
April 20, 2024 05:43 34m 42s main
main
April 20, 2024 05:43 34m 42s
Update the installation instructions. Build on PR #352: Pull request #125 opened by kape1395
April 19, 2024 04:18 35m 2s docs-install
docs-install
April 19, 2024 04:18 35m 2s
Try use Isabelle2024-RC2. Build on PR #351: Pull request #124 opened by kape1395
April 18, 2024 18:15 21m 28s isabelle2020-dune-2024RC2
isabelle2020-dune-2024RC2
April 18, 2024 18:15 21m 28s
Build on PR Build on PR #350: Scheduled
March 20, 2024 05:43 25m 44s main
main
March 20, 2024 05:43 25m 44s
Language Server Protocol for TLAPM Build on PR #349: Pull request #93 synchronize by kape1395
February 26, 2024 19:12 38m 26s kape1395:lsp
kape1395:lsp
February 26, 2024 19:12 38m 26s
Use Isabelle202x Build on PR #348: Pull request #109 synchronize by kape1395
February 26, 2024 19:00 32m 46s isabelle2020-dune
isabelle2020-dune
February 26, 2024 19:00 32m 46s
Branch updated_enabled_cdot on top of dune, ocaml-5 and lsp. Build on PR #347: Pull request #95 synchronize by kape1395
February 22, 2024 18:40 40m 11s kape1395:lsp--updated_enabled_cdot
kape1395:lsp--updated_enabled_cdot
February 22, 2024 18:40 40m 11s
Build on PR Build on PR #346: Scheduled
February 20, 2024 05:43 34m 11s main
main
February 20, 2024 05:43 34m 11s
Language Server Protocol for TLAPM Build on PR #345: Pull request #93 synchronize by kape1395
February 17, 2024 07:45 38m 53s kape1395:lsp
kape1395:lsp
February 17, 2024 07:45 38m 53s
Smt changes Build on PR #344: Pull request #70 synchronize by damiendoligez
February 13, 2024 21:47 39m 45s smt-changes
smt-changes
February 13, 2024 21:47 39m 45s
Language Server Protocol for TLAPM Build on PR #343: Pull request #93 synchronize by kape1395
February 13, 2024 21:21 38m 42s kape1395:lsp
kape1395:lsp
February 13, 2024 21:21 38m 42s
Language Server Protocol for TLAPM Build on PR #342: Pull request #93 synchronize by kape1395
February 13, 2024 20:48 33m 18s kape1395:lsp
kape1395:lsp
February 13, 2024 20:48 33m 18s
Smt changes Build on PR #341: Pull request #70 synchronize by damiendoligez
February 13, 2024 16:05 34m 43s smt-changes
smt-changes
February 13, 2024 16:05 34m 43s
Smt changes Build on PR #340: Pull request #70 synchronize by damiendoligez
February 13, 2024 15:22 33m 9s smt-changes
smt-changes
February 13, 2024 15:22 33m 9s