Skip to content

Actions: tlaplus/tlapm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
390 workflow runs
390 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
pages build and deployment pages-build-deployment #37: by kape1395
January 28, 2025 15:51 25s main
main
January 28, 2025 15:51 25s
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
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