Skip to content

Actions: tlaplus/tlaplus-formatter

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
222 workflow runs
222 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Merge pull request #17 from FedericoPonzi/dependabot/github_actions/a… CI #225: Commit ec04039 pushed by FedericoPonzi
1m 57s main
main
1m 57s
Merge pull request #17 from FedericoPonzi/dependabot/github_actions/a… Deploy to GitHub Pages #24: Commit ec04039 pushed by FedericoPonzi
1m 23s main
main
1m 23s
build(deps): bump the all-dependencies group with 12 updates CI #224: Pull request #16 synchronize by dependabot bot
1m 5s dependabot/gradle/all-dependencies-2f387423cc
dependabot/gradle/all-dependencies-2f387423cc
1m 5s