Skip to content

Actions: tlaplus/tlapm

Actions

Rolling Pre-release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rolling-prerelease.yml
20 workflow runs
20 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fixed soundness regression test names Rolling Pre-release #20: Commit 1201539 pushed by ahelwer
February 17, 2025 18:39 12m 37s main
main
February 17, 2025 18:39 12m 37s
Added soundness bugs as regression tests Rolling Pre-release #19: Commit c7fc431 pushed by ahelwer
February 17, 2025 18:01 11m 23s main
main
February 17, 2025 18:01 11m 23s
Fixed soundness bug #201 (#202) Rolling Pre-release #18: Commit e6d0831 pushed by muenchnerkindl
February 17, 2025 14:43 14m 14s main
main
February 17, 2025 14:43 14m 14s
Merge pull request #194 from tlaplus/fix-lsp-obl-state-aggr Rolling Pre-release #17: Commit 41d03d4 pushed by kape1395
January 28, 2025 15:51 16m 36s main
main
January 28, 2025 15:51 16m 36s
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
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
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
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
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
CI: Update release tag after uploading artifacts Rolling Pre-release #11: Commit 4988888 pushed by ahelwer
December 6, 2024 17:25 10m 9s main
main
December 6, 2024 17:25 10m 9s
CI: Fix name of tlapm repo remote in git command Rolling Pre-release #10: Commit 5ad9e0a pushed by ahelwer
December 6, 2024 17:23 2m 37s main
main
December 6, 2024 17:23 2m 37s
CI: attempt to update release tag with force-push Rolling Pre-release #9: Commit e56c93f pushed by ahelwer
December 6, 2024 17:21 23s main
main
December 6, 2024 17:21 23s
CI: First attempt at updating pre-release tag Rolling Pre-release #8: Commit b17cdc3 pushed by ahelwer
December 6, 2024 17:16 17s main
main
December 6, 2024 17:16 17s
CI: Fixed bash not interpolating inside single quotes Rolling Pre-release #7: Commit 0ea296d pushed by ahelwer
December 6, 2024 05:09 10m 0s main
main
December 6, 2024 05:09 10m 0s
CI: Fixed shell variable usage Rolling Pre-release #6: Commit 04d229c pushed by ahelwer
December 6, 2024 03:04 9m 26s main
main
December 6, 2024 03:04 9m 26s
CI: Add additional logging to rolling prerelease upload Rolling Pre-release #5: Commit 742fee1 pushed by ahelwer
December 6, 2024 02:26 8m 42s main
main
December 6, 2024 02:26 8m 42s
CI: fix deletion of old rolling pre-releases Rolling Pre-release #4: Commit c9734a1 pushed by ahelwer
December 6, 2024 01:36 8m 18s main
main
December 6, 2024 01:36 8m 18s
Docs: Fixed link to rolling pre-release (#184) Rolling Pre-release #3: Commit 8a5b58e pushed by ahelwer
December 5, 2024 14:36 12m 52s main
main
December 5, 2024 14:36 12m 52s
CI: cat logs (*.err and *.out) of test files (#68) Rolling Pre-release #2: Commit b09b8e9 pushed by ahelwer
December 5, 2024 14:08 10m 46s main
main
December 5, 2024 14:08 10m 46s
Upload rolling pre-releases (#182) Rolling Pre-release #1: Commit c1c282e pushed by ahelwer
December 4, 2024 19:36 12m 41s main
main
December 4, 2024 19:36 12m 41s