Skip to content

Actions: tlaplus/tlapm

Actions

Build & Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
194 workflow runs
194 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
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
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
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. Build & Test #185: Commit e0ce98e pushed by lemmy
January 2, 2025 18:28 27m 17s main
main
January 2, 2025 18:28 27m 17s
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. Build & Test #180: Pull request #189 synchronize by kape1395
December 30, 2024 08:57 17m 38s fix-quant-levels
fix-quant-levels
December 30, 2024 08:57 17m 38s
Levels of the quantifier bounds were effectively ignored. Build & Test #179: Pull request #189 opened by kape1395
December 29, 2024 23:24 20m 50s fix-quant-levels
fix-quant-levels
December 29, 2024 23:24 20m 50s
Merge updated_enabled_cdot. Build & Test #178: Pull request #148 synchronize by kape1395
December 22, 2024 21:04 20m 47s updated_enabled_cdot
updated_enabled_cdot
December 22, 2024 21:04 20m 47s
Merge updated_enabled_cdot. Build & Test #177: Pull request #148 synchronize by kape1395
December 22, 2024 20:38 25m 47s updated_enabled_cdot
updated_enabled_cdot
December 22, 2024 20:38 25m 47s
Switch tlapm to cmdliner Build & Test #176: Pull request #177 synchronize by glondu
December 11, 2024 08:50 18m 23s glondu:cmdliner-tlapm
glondu:cmdliner-tlapm
December 11, 2024 08:50 18m 23s
CI: Update release tag after uploading artifacts Build & Test #175: Commit 4988888 pushed by ahelwer
December 6, 2024 17:25 21m 34s main
main
December 6, 2024 17:25 21m 34s
CI: Fix name of tlapm repo remote in git command Build & Test #174: Commit 5ad9e0a pushed by ahelwer
December 6, 2024 17:23 2m 33s main
main
December 6, 2024 17:23 2m 33s
CI: attempt to update release tag with force-push Build & Test #173: Commit e56c93f pushed by ahelwer
December 6, 2024 17:21 1m 56s main
main
December 6, 2024 17:21 1m 56s
CI: First attempt at updating pre-release tag Build & Test #172: Commit b17cdc3 pushed by ahelwer
December 6, 2024 17:16 5m 39s main
main
December 6, 2024 17:16 5m 39s