Skip to content

Actions: tlaplus/tlapm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
438 workflow runs
438 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

LSP: Use maximum obligation status instead of latest. Build & Test #196: Pull request #194 synchronize by kape1395
January 6, 2025 15:59 21m 4s fix-lsp-obl-state-aggr
fix-lsp-obl-state-aggr
January 6, 2025 15:59 21m 4s
Merge pull request #193 from tlaplus/fix-lsp-use Build & Test #195: Commit 132d225 pushed by kape1395
January 6, 2025 15:58 18m 50s main
main
January 6, 2025 15:58 18m 50s
Merge pull request #193 from tlaplus/fix-lsp-use Rolling Pre-release #16: Commit 132d225 pushed by kape1395
January 6, 2025 15:58 10m 32s main
main
January 6, 2025 15:58 10m 32s
pages build and deployment pages-build-deployment #36: by kape1395
January 6, 2025 15:58 26s main
main
January 6, 2025 15:58 26s
LSP: Use maximum obligation status instead of latest. Build & Test #194: Pull request #194 synchronize by kape1395
January 6, 2025 15:25 33m 21s fix-lsp-obl-state-aggr
fix-lsp-obl-state-aggr
January 6, 2025 15:25 33m 21s
LSP: Create proof step markers for USE statements involving facts. Build & Test #193: Pull request #193 synchronize by kape1395
January 6, 2025 15:22 19m 25s fix-lsp-use
fix-lsp-use
January 6, 2025 15:22 19m 25s
Merge pull request #195 from tlaplus/fix-lsp-code-format Build & Test #192: Commit 1947c86 pushed by kape1395
January 6, 2025 15:21 19m 15s main
main
January 6, 2025 15:21 19m 15s
Merge pull request #195 from tlaplus/fix-lsp-code-format Rolling Pre-release #15: Commit 1947c86 pushed by kape1395
January 6, 2025 15:21 10m 12s main
main
January 6, 2025 15:21 10m 12s
pages build and deployment pages-build-deployment #35: by kape1395
January 6, 2025 15:21 29s main
main
January 6, 2025 15:21 29s
LSP: Use maximum obligation status instead of latest. Build & Test #191: Pull request #194 synchronize by kape1395
January 6, 2025 11:53 18m 38s fix-lsp-obl-state-aggr
fix-lsp-obl-state-aggr
January 6, 2025 11:53 18m 38s
Code re-formatted under ./lsp. Build & Test #190: Pull request #195 opened by kape1395
January 6, 2025 08:37 18m 0s fix-lsp-code-format
fix-lsp-code-format
January 6, 2025 08:37 18m 0s
LSP: Use maximum obligation status instead of latest. Build & Test #189: Pull request #194 opened by kape1395
January 6, 2025 07:14 18m 15s fix-lsp-obl-state-aggr
fix-lsp-obl-state-aggr
January 6, 2025 07:14 18m 15s
Merge pull request #191 from tlaplus/fix-inst-use Build & Test #188: Commit 9df048d pushed by kape1395
January 4, 2025 21:25 18m 10s main
main
January 4, 2025 21:25 18m 10s
Merge pull request #191 from tlaplus/fix-inst-use Rolling Pre-release #14: Commit 9df048d pushed by kape1395
January 4, 2025 21:25 10m 20s main
main
January 4, 2025 21:25 10m 20s
pages build and deployment pages-build-deployment #34: by kape1395
January 4, 2025 21:25 27s main
main
January 4, 2025 21:25 27s
LSP: Create proof step markers for USE statements involving facts. Build & Test #187: Pull request #193 opened by kape1395
January 4, 2025 13:06 17m 25s fix-lsp-use
fix-lsp-use
January 4, 2025 13:06 17m 25s
Fix instantiation of a module containing USE. Build & Test #186: Pull request #191 opened by kape1395
January 2, 2025 20:33 16m 55s fix-inst-use
fix-inst-use
January 2, 2025 20:33 16m 55s
Add a third variable to be able to better discuss stuttering. Rolling Pre-release #13: Commit e0ce98e pushed by lemmy
January 2, 2025 18:28 28m 21s main
main
January 2, 2025 18:28 28m 21s
Add a third variable to be able to better discuss stuttering. Build & Test #185: Commit e0ce98e pushed by lemmy
January 2, 2025 18:28 27m 17s main
main
January 2, 2025 18:28 27m 17s
pages build and deployment pages-build-deployment #33: by lemmy
January 2, 2025 18:28 31s main
main
January 2, 2025 18:28 31s
Make SimpleEventually proof a bit less simple. Build & Test #184: Pull request #135 synchronize by lemmy
January 2, 2025 17:33 19m 3s lemmy:mku-LessSimpleEventually
lemmy:mku-LessSimpleEventually
January 2, 2025 17:33 19m 3s
Make SimpleEventually proof a bit less simple. Build & Test #183: Pull request #135 synchronize by lemmy
January 2, 2025 17:29 6m 13s lemmy:mku-LessSimpleEventually
lemmy:mku-LessSimpleEventually
January 2, 2025 17:29 6m 13s
Merge updated_enabled_cdot. Build & Test #182: Pull request #148 synchronize by kape1395
December 30, 2024 14:02 21m 41s updated_enabled_cdot
updated_enabled_cdot
December 30, 2024 14:02 21m 41s
Levels of the quantifier bounds were effectively ignored. (#189) Build & Test #181: Commit 6b01bff pushed by muenchnerkindl
December 30, 2024 13:51 21m 6s main
main
December 30, 2024 13:51 21m 6s
Levels of the quantifier bounds were effectively ignored. (#189) Rolling Pre-release #12: Commit 6b01bff pushed by muenchnerkindl
December 30, 2024 13:51 14m 8s main
main
December 30, 2024 13:51 14m 8s