Skip to content
This repository was archived by the owner on Mar 16, 2026. It is now read-only.

Actions: tlaplus/tlaplus-formatter

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
225 workflow runs
225 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Note where to find the formatter Semantic Preservation Test #41: Commit 30076e2 pushed by lemmy
1m 12s main
main
1m 12s
Note where to find the formatter Deploy to GitHub Pages #29: Commit 30076e2 pushed by lemmy
53s main
main
53s
Note where to find the formatter CI #232: Commit 30076e2 pushed by lemmy
18s main
main
18s
github_actions in /. - Update #1273546252 Dependabot Updates #19: by dependabot bot
48s main
main
48s
gradle in /. - Update #1273546244 Dependabot Updates #18: by dependabot bot
37s main
main
37s
gradle in / for commons-io:commons-io, org.junit:junit-bom, org.mockito:mockito-core, org.mockito:mockito-junit-jupiter, commons-cli:commons-cli, org.slf4j:slf4j-api, ch.qos.logback:logback-classic, io.ktor.plugin, com.github.spotbugs, gradle-wrapper - Update #1273545047 Dependabot Updates #17: by dependabot bot
1m 8s main
main
1m 8s
gradle in /. - Update #1273545029 Dependabot Updates #16: by dependabot bot
39s main
main
39s
github_actions in /. - Update #1273545034 Dependabot Updates #15: by dependabot bot
52s main
main
52s
Prepare v0.3.0 release Release #4: Commit 7aa6a56 pushed by FedericoPonzi
38s v0.3.0
v0.3.0
38s
Prepare v0.3.0 release CI #231: Commit 7aa6a56 pushed by FedericoPonzi
1m 19s main
main
1m 19s
Prepare v0.3.0 release Deploy to GitHub Pages #28: Commit 7aa6a56 pushed by FedericoPonzi
1m 12s main
main
1m 12s
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 CI #230: Commit 644b2d0 pushed by FedericoPonzi
1m 11s main
main
1m 11s
Merge pull request #21 from FedericoPonzi/issue-20 Deploy to GitHub Pages #27: Commit 644b2d0 pushed by FedericoPonzi
55s main
main
55s
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 Deploy to GitHub Pages #26: Commit 906b8f7 pushed by FedericoPonzi
1m 6s main
main
1m 6s
Remove tlaplus-smith dependency for now CI #229: Commit 906b8f7 pushed by FedericoPonzi
1m 28s main
main
1m 28s
Change default operator definition style to break after == CI #228: Pull request #21 opened by FedericoPonzi
1m 9s issue-20
issue-20
1m 9s
build(deps): bump the all-dependencies group across 1 directory with 10 updates CI #227: Pull request #19 opened by dependabot bot
1m 3s dependabot/gradle/all-dependencies-33fbe95879
dependabot/gradle/all-dependencies-33fbe95879
1m 3s
gradle in / for commons-io:commons-io, com.github.FedericoPonzi:tlaplus-smith, org.junit:junit-bom, org.mockito:mockito-core, org.mockito:mockito-junit-jupiter, net.jqwik:jqwik, commons-cli:commons-cli, org.slf4j:slf4j-api, ch.qos.logback:logback-classic, io.ktor.plugin, com.github.spotbugs, gradle-wrapper - Update #1272032233 Dependabot Updates #14: by dependabot bot
1m 47s main
main
1m 47s
Remove tlaplus-smith dependency for now Deploy to GitHub Pages #25: Commit e197372 pushed by FedericoPonzi
1m 16s main
main
1m 16s
Remove tlaplus-smith dependency for now CI #226: Commit e197372 pushed by FedericoPonzi
1m 40s main
main
1m 40s
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