Skip to content

Actions: tlaplus/tlapm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
404 workflow runs
404 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Language Server Protocol for TLAPM Build on PR #316: Pull request #93 synchronize by kape1395
January 23, 2024 21:20 39m 35s kape1395:lsp
kape1395:lsp
January 23, 2024 21:20 39m 35s
Language Server Protocol for TLAPM Build on PR #315: Pull request #93 synchronize by kape1395
January 23, 2024 20:41 36m 46s kape1395:lsp
kape1395:lsp
January 23, 2024 20:41 36m 46s
Language Server Protocol for TLAPM Build on PR #314: Pull request #93 synchronize by kape1395
January 23, 2024 20:15 36m 7s kape1395:lsp
kape1395:lsp
January 23, 2024 20:15 36m 7s
Language Server Protocol for TLAPM Build on PR #313: Pull request #93 synchronize by kape1395
January 23, 2024 19:25 39m 35s kape1395:lsp
kape1395:lsp
January 23, 2024 19:25 39m 35s
Language Server Protocol for TLAPM Build on PR #312: Pull request #93 synchronize by kape1395
January 22, 2024 20:05 34m 0s kape1395:lsp
kape1395:lsp
January 22, 2024 20:05 34m 0s
Language Server Protocol for TLAPM Build on PR #311: Pull request #93 synchronize by kape1395
January 22, 2024 18:57 48m 35s kape1395:lsp
kape1395:lsp
January 22, 2024 18:57 48m 35s
Build on PR Build on PR #310: Scheduled
January 20, 2024 05:43 39m 3s main
main
January 20, 2024 05:43 39m 3s
Language Server Protocol for TLAPM Build on PR #309: Pull request #93 synchronize by kape1395
January 16, 2024 20:12 40m 3s kape1395:lsp
kape1395:lsp
January 16, 2024 20:12 40m 3s
Language Server Protocol for TLAPM Build on PR #308: Pull request #93 synchronize by kape1395
January 14, 2024 07:30 36m 44s kape1395:lsp
kape1395:lsp
January 14, 2024 07:30 36m 44s
Language Server Protocol for TLAPM Build on PR #307: Pull request #93 synchronize by kape1395
January 13, 2024 23:59 48m 41s kape1395:lsp
kape1395:lsp
January 13, 2024 23:59 48m 41s
Use Isabelle202x Build on PR #306: Pull request #109 synchronize by kape1395
January 13, 2024 15:59 43m 59s isabelle2020-dune
isabelle2020-dune
January 13, 2024 15:59 43m 59s
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
Language Server Protocol for TLAPM Build on PR #305: Pull request #93 synchronize by kape1395
January 12, 2024 21:53 40m 14s kape1395:lsp
kape1395:lsp
January 12, 2024 21:53 40m 14s
Language Server Protocol for TLAPM Build on PR #304: Pull request #93 synchronize by kape1395
January 12, 2024 20:27 8m 3s kape1395:lsp
kape1395:lsp
January 12, 2024 20:27 8m 3s
fix laziness in t_hyps.ml Build on PR #303: Pull request #110 opened by damiendoligez
January 10, 2024 16:04 32m 20s damiendoligez:fix-lazy-type-search
damiendoligez:fix-lazy-type-search
January 10, 2024 16:04 32m 20s
Language Server Protocol for TLAPM Build on PR #302: Pull request #93 synchronize by kape1395
January 8, 2024 11:45 37m 24s kape1395:lsp
kape1395:lsp
January 8, 2024 11:45 37m 24s
Language Server Protocol for TLAPM Build on PR #301: Pull request #93 synchronize by kape1395
January 8, 2024 08:29 34m 31s kape1395:lsp
kape1395:lsp
January 8, 2024 08:29 34m 31s
Language Server Protocol for TLAPM Build on PR #300: Pull request #93 synchronize by kape1395
January 7, 2024 19:15 43m 40s kape1395:lsp
kape1395:lsp
January 7, 2024 19:15 43m 40s
Language Server Protocol for TLAPM Build on PR #299: Pull request #93 synchronize by kape1395
January 7, 2024 18:46 34m 40s kape1395:lsp
kape1395:lsp
January 7, 2024 18:46 34m 40s
Language Server Protocol for TLAPM Build on PR #298: Pull request #93 synchronize by kape1395
January 7, 2024 18:33 42m 35s kape1395:lsp
kape1395:lsp
January 7, 2024 18:33 42m 35s
Language Server Protocol for TLAPM Build on PR #297: Pull request #93 synchronize by kape1395
January 7, 2024 11:29 33m 27s kape1395:lsp
kape1395:lsp
January 7, 2024 11:29 33m 27s
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
ProTip! You can narrow down the results and go further in time using created:<2023-12-28 or the other filters available.