Skip to content

Actions: tlaplus/tlaplus-formatter

Actions

Semantic Preservation Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
semantic-preservation.yml
40 workflow runs
40 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Prepare v0.3.0 release Semantic Preservation Test #40: Commit 7aa6a56 pushed by FedericoPonzi
1m 42s main
main
1m 42s
Merge pull request #21 from FedericoPonzi/issue-20 Semantic Preservation Test #39: Commit 644b2d0 pushed by FedericoPonzi
1m 33s main
main
1m 33s
Remove tlaplus-smith dependency for now Semantic Preservation Test #38: Commit 906b8f7 pushed by FedericoPonzi
2m 1s main
main
2m 1s
Remove tlaplus-smith dependency for now Semantic Preservation Test #37: Commit e197372 pushed by FedericoPonzi
1m 30s main
main
1m 30s
Merge pull request #17 from FedericoPonzi/dependabot/github_actions/a… Semantic Preservation Test #36: Commit ec04039 pushed by FedericoPonzi
1m 51s main
main
1m 51s
Add link to repo Semantic Preservation Test #35: Commit e7ff670 pushed by FedericoPonzi
1m 19s main
main
1m 19s
ci: automatically prepand in release description the latest version's… Semantic Preservation Test #34: Commit ebf5d94 pushed by FedericoPonzi
1m 18s main
main
1m 18s
Release 0.2.1 Semantic Preservation Test #33: Commit c0b1dd3 pushed by FedericoPonzi
1m 18s main
main
1m 18s
fix: whitespace after the box operator, causing [][Next] to be reform… Semantic Preservation Test #32: Commit 8968cc6 pushed by FedericoPonzi
1m 19s main
main
1m 19s
fix: whitespace after the box operator, causing [][Next] to be reform… Semantic Preservation Test #31: Commit b70db76 pushed by FedericoPonzi
1m 30s main
main
1m 30s
Version 0.2.0 Semantic Preservation Test #30: Commit ad716eb pushed by FedericoPonzi
1m 19s main
main
1m 19s
fix: whitespace after the box operator, causing [][Next] to be reform… Semantic Preservation Test #29: Commit 6516394 pushed by FedericoPonzi
1m 30s main
main
1m 30s
Version 0.2.0 Semantic Preservation Test #28: Commit 7adbe44 pushed by FedericoPonzi
1m 25s main
main
1m 25s
refactoring: simplify the passing of tla modules, matching the interf… Semantic Preservation Test #27: Commit 8650b17 pushed by FedericoPonzi
1m 34s main
main
1m 34s
fix: remove temp directory and file on jvm exit Semantic Preservation Test #26: Commit 7d67d15 pushed by FedericoPonzi
1m 15s main
main
1m 15s
fix: remove temp directory and file on jvm exit Semantic Preservation Test #25: Commit f4df144 pushed by FedericoPonzi
1m 31s main
main
1m 31s
fix: remove temp directory and file on jvm exit Semantic Preservation Test #24: Commit d04e5a6 pushed by FedericoPonzi
1m 32s main
main
1m 32s
fix: remove temp directory and file on jvm exit Semantic Preservation Test #23: Commit cc31d49 pushed by FedericoPonzi
1m 11s main
main
1m 11s
refactoring: applies lint fixes Semantic Preservation Test #22: Commit 765fe47 pushed by FedericoPonzi
1m 19s main
main
1m 19s
refactoring: applies lint fixes Semantic Preservation Test #21: Commit 2a23b80 pushed by FedericoPonzi
1m 31s main
main
1m 31s
refactoring: applies lint fixes Semantic Preservation Test #20: Commit c9d3a95 pushed by FedericoPonzi
33s main
main
33s
refactoring: applies lint fixes Semantic Preservation Test #19: Commit 0e5b753 pushed by FedericoPonzi
1m 38s main
main
1m 38s
Merge pull request #15 from FedericoPonzi/dependabot/github_actions/a… Semantic Preservation Test #18: Commit 5d1e03d pushed by FedericoPonzi
1m 8s main
main
1m 8s
Enforce spec validation by default, fixes #14 Semantic Preservation Test #17: Commit c13fe2a pushed by FedericoPonzi
1m 39s main
main
1m 39s
Update README Semantic Preservation Test #16: Commit f44c5ce pushed by FedericoPonzi
1m 6s main
main
1m 6s