Skip to content

Actions: tlaplus/tlapm

Actions

Build and Package TLA Proof Manager

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
57 workflow runs
57 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Removed global use of debug flags in encode/ Build and Package TLA Proof Manager #244: Commit 86ffa20 pushed by rozlynd
January 26, 2024 15:40 4m 9s smt-changes
smt-changes
January 26, 2024 15:40 4m 9s
fix laziness Build and Package TLA Proof Manager #243: Commit e0ce4e6 pushed by rozlynd
January 25, 2024 15:56 4m 3s smt-changes
smt-changes
January 25, 2024 15:56 4m 3s
Update src/type/t_synth.ml Build and Package TLA Proof Manager #242: Commit e1bcb89 pushed by rozlynd
January 24, 2024 16:28 4m 50s smt-changes
smt-changes
January 24, 2024 16:28 4m 50s
Update src/type/t_synth.ml Build and Package TLA Proof Manager #241: Commit b5b1a89 pushed by rozlynd
January 24, 2024 16:28 4m 59s smt-changes
smt-changes
January 24, 2024 16:28 4m 59s
Update src/type/t_synth.ml Build and Package TLA Proof Manager #240: Commit 3a4c947 pushed by rozlynd
January 24, 2024 16:27 4m 32s smt-changes
smt-changes
January 24, 2024 16:27 4m 32s
Update src/type/t_synth.ml Build and Package TLA Proof Manager #239: Commit 25fdb66 pushed by rozlynd
January 24, 2024 16:27 4m 1s smt-changes
smt-changes
January 24, 2024 16:27 4m 1s
Update src/type/t_synth.ml Build and Package TLA Proof Manager #238: Commit 4cf25fc pushed by rozlynd
January 24, 2024 16:26 3m 59s smt-changes
smt-changes
January 24, 2024 16:26 3m 59s
Update src/encode/n_data.ml Build and Package TLA Proof Manager #237: Commit 0a450ad pushed by rozlynd
January 24, 2024 16:25 4m 0s smt-changes
smt-changes
January 24, 2024 16:25 4m 0s
Update src/encode/n_data.ml Build and Package TLA Proof Manager #236: Commit af76167 pushed by rozlynd
January 24, 2024 16:25 4m 3s smt-changes
smt-changes
January 24, 2024 16:25 4m 3s
Update src/encode/n_data.ml Build and Package TLA Proof Manager #235: Commit 6727f33 pushed by rozlynd
January 24, 2024 16:24 4m 16s smt-changes
smt-changes
January 24, 2024 16:24 4m 16s
Update src/encode/n_axioms.ml Build and Package TLA Proof Manager #234: Commit 70c8eed pushed by rozlynd
January 24, 2024 16:05 4m 3s smt-changes
smt-changes
January 24, 2024 16:05 4m 3s
Use HTTPS to download the Isabelle/HOL. Build and Package TLA Proof Manager #233: Commit 4c4fc8f pushed by kape1395
January 13, 2024 15:59 27m 47s isabelle2020-dune
isabelle2020-dune
January 13, 2024 15:59 27m 47s
Build and Package TLA Proof Manager Build and Package TLA Proof Manager #232: Scheduled
January 5, 2024 05:43 24m 25s main
main
January 5, 2024 05:43 24m 25s
Make macos build work again Build and Package TLA Proof Manager #231: Commit 4159f54 pushed by kape1395
December 28, 2023 19:29 28m 38s isabelle2020-dune
isabelle2020-dune
December 28, 2023 19:29 28m 38s
Make build more portable. Build and Package TLA Proof Manager #230: Commit 4a881d2 pushed by kape1395
December 23, 2023 22:35 9m 7s isabelle2020-dune
isabelle2020-dune
December 23, 2023 22:35 9m 7s
Try to fix the MacOS build. Build and Package TLA Proof Manager #229: Commit 512d89d pushed by kape1395
December 23, 2023 22:01 9m 1s isabelle2020-dune
isabelle2020-dune
December 23, 2023 22:01 9m 1s
Do not build the Isabelle document when building heaps. Build and Package TLA Proof Manager #228: Commit ce9a64b pushed by kape1395
December 23, 2023 21:01 8m 45s isabelle2020-dune
isabelle2020-dune
December 23, 2023 21:01 8m 45s
Add missing latex packages. Build and Package TLA Proof Manager #227: Commit 280559e pushed by kape1395
December 23, 2023 19:46 4m 58s isabelle2020-dune
isabelle2020-dune
December 23, 2023 19:46 4m 58s
Attempt to fix the macos build. Build and Package TLA Proof Manager #226: Commit 13bf0e3 pushed by kape1395
December 23, 2023 19:23 5m 19s isabelle2020-dune
isabelle2020-dune
December 23, 2023 19:23 5m 19s
It works with Isabelle2023, except 1 test. Build and Package TLA Proof Manager #225: Commit 2c5b99d pushed by kape1395
December 23, 2023 19:00 4m 53s isabelle2020-dune
isabelle2020-dune
December 23, 2023 19:00 4m 53s
Use tar.gz archive of Isabelle on MacOS. Build and Package TLA Proof Manager #224: Commit f270dd4 pushed by kape1395
December 23, 2023 16:12 4m 29s isabelle2020-dune
isabelle2020-dune
December 23, 2023 16:12 4m 29s
Merge remote-tracking branch 'origin/main' into isabelle2020-dune Build and Package TLA Proof Manager #223: Commit 501564e pushed by kape1395
December 23, 2023 15:48 4m 46s isabelle2020-dune
isabelle2020-dune
December 23, 2023 15:48 4m 46s
Make the new isabelle to work with the dune-based build. Build and Package TLA Proof Manager #222: Commit 21bbf9f pushed by kape1395
December 23, 2023 15:22 4m 35s isabelle2020-dune
isabelle2020-dune
December 23, 2023 15:22 4m 35s
Merge pull request #98 from tlaplus/fix-setEuclid Build and Package TLA Proof Manager #221: Commit a0ae986 pushed by kape1395
December 21, 2023 14:46 24m 0s main
main
December 21, 2023 14:46 24m 0s
Use a shorter fix proposed by @damiendoligez. Build and Package TLA Proof Manager #220: Commit 6c7178e pushed by kape1395
December 21, 2023 13:53 24m 33s fix-setEuclid
fix-setEuclid
December 21, 2023 13:53 24m 33s