Skip to content

Actions: tlaplus/tlapm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
437 workflow runs
437 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Language Server Protocol for TLAPM Build on PR #296: Pull request #93 synchronize by kape1395
January 5, 2024 15:59 49m 1s kape1395:lsp
kape1395:lsp
January 5, 2024 15:59 49m 1s
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
Use Isabelle202x Build on PR #295: Pull request #109 synchronize by kape1395
December 28, 2023 19:29 48m 21s isabelle2020-dune
isabelle2020-dune
December 28, 2023 19:29 48m 21s
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
Use Isabelle202x Build on PR #294: Pull request #109 synchronize by kape1395
December 23, 2023 22:35 28m 31s isabelle2020-dune
isabelle2020-dune
December 23, 2023 22:35 28m 31s
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
Use Isabelle202x Build on PR #293: Pull request #109 synchronize by kape1395
December 23, 2023 22:02 28m 28s isabelle2020-dune
isabelle2020-dune
December 23, 2023 22:02 28m 28s
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
Use Isabelle202x Build on PR #292: Pull request #109 synchronize by kape1395
December 23, 2023 21:01 29m 2s isabelle2020-dune
isabelle2020-dune
December 23, 2023 21:01 29m 2s
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
Do not build the Isabelle document when building heaps. Build on PR #291: Commit ce9a64b pushed by kape1395
December 23, 2023 21:01 28m 29s isabelle2020-dune
isabelle2020-dune
December 23, 2023 21:01 28m 29s
Use Isabelle202x Build on PR #290: Pull request #109 synchronize by kape1395
December 23, 2023 19:46 24m 51s isabelle2020-dune
isabelle2020-dune
December 23, 2023 19:46 24m 51s
Add missing latex packages. Build on PR #289: Commit 280559e pushed by kape1395
December 23, 2023 19:46 14m 24s isabelle2020-dune
isabelle2020-dune
December 23, 2023 19:46 14m 24s
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
Use Isabelle202x Build on PR #288: Pull request #109 synchronize by kape1395
December 23, 2023 19:23 17m 57s isabelle2020-dune
isabelle2020-dune
December 23, 2023 19:23 17m 57s
Attempt to fix the macos build. Build on PR #287: Commit 13bf0e3 pushed by kape1395
December 23, 2023 19:23 10m 28s isabelle2020-dune
isabelle2020-dune
December 23, 2023 19:23 10m 28s
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
Use Isabelle202x Build on PR #286: Pull request #109 synchronize by kape1395
December 23, 2023 19:01 17m 43s isabelle2020-dune
isabelle2020-dune
December 23, 2023 19:01 17m 43s
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 Isabelle202x Build on PR #285: Pull request #109 synchronize by kape1395
December 23, 2023 16:12 12m 28s isabelle2020-dune
isabelle2020-dune
December 23, 2023 16:12 12m 28s
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
Use Isabelle202x Build on PR #284: Pull request #109 synchronize by kape1395
December 23, 2023 15:48 13m 59s isabelle2020-dune
isabelle2020-dune
December 23, 2023 15:48 13m 59s
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
Use Isabelle202x Build on PR #283: Pull request #109 opened by kape1395
December 23, 2023 15:28 18m 37s isabelle2020-dune
isabelle2020-dune
December 23, 2023 15:28 18m 37s
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
ProTip! You can narrow down the results and go further in time using created:<2023-12-23 or the other filters available.