Skip to content

Actions: FedericoPonzi/tlaplus-formatter

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
73 workflow runs
73 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Prepare to release v0.1.0 CI #170: Commit 3d6dede pushed by FedericoPonzi
1m 30s main
main
1m 30s
Update tlatools dependency after sonatype was deprecated, see https:/… CI #169: Commit ba596ec pushed by FedericoPonzi
1m 19s main
main
1m 19s
Update tlatools dependency after sonatype was deprecated, see https:/… CI #168: Commit c30e14a pushed by FedericoPonzi
1m 6s main
main
1m 6s
Merge pull request #13 from FedericoPonzi/pbt CI #167: Commit 27744be pushed by FedericoPonzi
1m 1s main
main
1m 1s
Initial PBT CI #166: Pull request #13 synchronize by FedericoPonzi
1m 15s pbt
pbt
1m 15s
Initial PBT CI #165: Pull request #13 synchronize by FedericoPonzi
1m 1s pbt
pbt
1m 1s
Initial PBT CI #164: Pull request #13 synchronize by FedericoPonzi
1m 18s pbt
pbt
1m 18s
Initial PBT CI #163: Pull request #13 synchronize by FedericoPonzi
1m 22s pbt
pbt
1m 22s
Initial PBT CI #162: Pull request #13 synchronize by FedericoPonzi
1m 26s pbt
pbt
1m 26s
Initial PBT CI #161: Pull request #13 synchronize by FedericoPonzi
1m 5s pbt
pbt
1m 5s
Initial PBT CI #160: Pull request #13 synchronize by FedericoPonzi
1m 23s pbt
pbt
1m 23s
Initial PBT CI #159: Commit 8a9582f pushed by FedericoPonzi
1m 21s pbt
pbt
1m 21s
Initial PBT CI #158: Pull request #13 synchronize by FedericoPonzi
1m 31s pbt
pbt
1m 31s
Initial PBT CI #157: Commit bb871d6 pushed by FedericoPonzi
1m 10s pbt
pbt
1m 10s
Add LICENSE file CI #156: Commit c2aec3e pushed by FedericoPonzi
1m 13s main
main
1m 13s
Initial PBT CI #155: Pull request #13 opened by FedericoPonzi
1m 11s pbt
pbt
1m 11s
Initial PBT CI #154: Commit a99aee9 pushed by FedericoPonzi
1m 12s pbt
pbt
1m 12s
Simplify tests CI #153: Commit 3097e62 pushed by FedericoPonzi
1m 14s main
main
1m 14s
Add TransitiveClosure test, improve handling of generic construct to … CI #152: Commit 6bd08fe pushed by FedericoPonzi
1m 3s main
main
1m 3s
Align let in declarations CI #151: Commit 7e6539c pushed by FedericoPonzi
1m 5s main
main
1m 5s
Fix weird identlhs formatting CI #150: Commit 063fbfa pushed by FedericoPonzi
1m 10s main
main
1m 10s
Fix last quirks to make Slush formatted without changing the spec CI #149: Commit 0074f87 pushed by FedericoPonzi
1m 7s main
main
1m 7s
A few fixes around formatting, ensure comments are printed correctly … CI #148: Commit 3bd7137 pushed by FedericoPonzi
1m 1s main
main
1m 1s
A few fixes around formatting, ensure comments are printed correctly … CI #147: Commit e609934 pushed by FedericoPonzi
1m 18s main
main
1m 18s
Add even more missing constructs CI #146: Commit 5ce1d27 pushed by FedericoPonzi
1m 9s main
main
1m 9s