Skip to content

Actions: tlaplus/tlapm

Actions

Build & Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
207 workflow runs
207 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fixed soundness regression test names Build & Test #209: Commit 1201539 pushed by ahelwer
February 17, 2025 18:39 22m 58s main
main
February 17, 2025 18:39 22m 58s
Fixed soundness regression test names Build & Test #208: Pull request #204 opened by ahelwer
February 17, 2025 18:05 20m 2s ahelwer:soundness-regression-tests-names
ahelwer:soundness-regression-tests-names
February 17, 2025 18:05 20m 2s
Added soundness bugs as regression tests Build & Test #207: Commit c7fc431 pushed by ahelwer
February 17, 2025 18:01 19m 42s main
main
February 17, 2025 18:01 19m 42s
Added soundness bugs as regression tests Build & Test #206: Pull request #203 synchronize by ahelwer
February 17, 2025 17:37 21m 32s ahelwer:soundness-regression-tests
ahelwer:soundness-regression-tests
February 17, 2025 17:37 21m 32s
Added soundness bugs as regression tests Build & Test #205: Pull request #203 opened by ahelwer
February 17, 2025 16:41 19m 57s ahelwer:soundness-regression-tests
ahelwer:soundness-regression-tests
February 17, 2025 16:41 19m 57s
Fixed soundness bug #201 (#202) Build & Test #204: Commit e6d0831 pushed by muenchnerkindl
February 17, 2025 14:43 23m 51s main
main
February 17, 2025 14:43 23m 51s
Fixed SMT soundness bug involving tuples and EXCEPT Build & Test #203: Pull request #202 synchronize by rozlynd
February 17, 2025 14:42 19m 39s rozlynd:fix-201-smt-soundness
rozlynd:fix-201-smt-soundness
February 17, 2025 14:42 19m 39s
Fixed SMT soundness bug involving tuples and EXCEPT Build & Test #202: Pull request #202 opened by rozlynd
February 17, 2025 13:53 24m 16s rozlynd:fix-201-smt-soundness
rozlynd:fix-201-smt-soundness
February 17, 2025 13:53 24m 16s
Merge updated_enabled_cdot. Build & Test #201: Pull request #148 synchronize by kape1395
February 10, 2025 09:48 29m 2s updated_enabled_cdot
updated_enabled_cdot
February 10, 2025 09:48 29m 2s
Memoize level computation to avoid exponential behavior Build & Test #200: Pull request #198 synchronize by damiendoligez
February 4, 2025 23:46 19m 31s damiendoligez:optimize-level-computation
damiendoligez:optimize-level-computation
February 4, 2025 23:46 19m 31s
Memoize level computation to avoid exponential behavior Build & Test #199: Pull request #198 opened by damiendoligez
February 4, 2025 23:45 1m 22s damiendoligez:optimize-level-computation
damiendoligez:optimize-level-computation
February 4, 2025 23:45 1m 22s
Merge pull request #194 from tlaplus/fix-lsp-obl-state-aggr Build & Test #198: Commit 41d03d4 pushed by kape1395
January 28, 2025 15:51 26m 20s main
main
January 28, 2025 15:51 26m 20s
LSP: Use maximum obligation status instead of latest. Build & Test #197: Pull request #194 synchronize by kape1395
January 11, 2025 11:25 20m 4s fix-lsp-obl-state-aggr
fix-lsp-obl-state-aggr
January 11, 2025 11:25 20m 4s
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