Skip to content

Actions: FedericoPonzi/tlaplus-formatter

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
87 workflow runs
87 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Initial settings doc definition CI #87: Pull request #6 synchronize by FedericoPonzi
November 4, 2024 18:23 52s settings
settings
November 4, 2024 18:23 52s
Add more information about comments, small items, datastructures and … CI #86: Commit b284f20 pushed by FedericoPonzi
November 4, 2024 18:23 36s settings
settings
November 4, 2024 18:23 36s
Initial settings doc definition CI #85: Pull request #6 synchronize by FedericoPonzi
November 4, 2024 18:22 42s settings
settings
November 4, 2024 18:22 42s
Add more information about comments, small items, datastructures and … CI #84: Commit d5632e1 pushed by FedericoPonzi
November 4, 2024 18:22 43s settings
settings
November 4, 2024 18:22 43s
Initial settings doc definition CI #83: Pull request #6 synchronize by FedericoPonzi
November 3, 2024 18:10 35s settings
settings
November 3, 2024 18:10 35s
Fix misspelling CI #82: Commit ff4b29f pushed by FedericoPonzi
November 3, 2024 18:10 33s settings
settings
November 3, 2024 18:10 33s
Remove unused constant CI #81: Commit 297a00b pushed by FedericoPonzi
November 3, 2024 18:06 1m 1s main
main
November 3, 2024 18:06 1m 1s
Initial settings doc definition CI #80: Pull request #6 synchronize by FedericoPonzi
November 3, 2024 18:05 59s settings
settings
November 3, 2024 18:05 59s
Split style guide and settings CI #79: Commit e4d8a7d pushed by FedericoPonzi
November 3, 2024 18:05 1m 8s settings
settings
November 3, 2024 18:05 1m 8s
Initial settings doc definition CI #78: Pull request #6 synchronize by FedericoPonzi
October 29, 2024 21:55 57s settings
settings
October 29, 2024 21:55 57s
Split style guide and settings CI #77: Commit f724c28 pushed by FedericoPonzi
October 29, 2024 21:55 1m 6s settings
settings
October 29, 2024 21:55 1m 6s
Initial settings doc definition CI #76: Pull request #6 opened by FedericoPonzi
October 20, 2024 16:28 34s settings
settings
October 20, 2024 16:28 34s
Initial settings doc definition CI #75: Commit 5bdf98b pushed by FedericoPonzi
October 20, 2024 16:25 43s settings
settings
October 20, 2024 16:25 43s
Use TlaModule for root module CI #74: Commit 057a61d pushed by FedericoPonzi
October 19, 2024 18:28 31s main
main
October 19, 2024 18:28 31s
Start splitting tests accordingly, draft short definitions should end… CI #73: Commit 7666eb9 pushed by FedericoPonzi
October 19, 2024 16:13 35s main
main
October 19, 2024 16:13 35s
Add basic handling of tuples, set enumerate, FieldVal, RcdConstructor CI #72: Commit 99a0b44 pushed by FedericoPonzi
October 19, 2024 00:02 1m 16s main
main
October 19, 2024 00:02 1m 16s
Add tlaps library to allow formatting specs with EXTENDS TLAPS CI #71: Commit db8d9d1 pushed by FedericoPonzi
October 3, 2024 07:31 41s main
main
October 3, 2024 07:31 41s
Add tlaps library to allow formatting specs with EXTENDS TLAPS CI #70: Commit 0f41667 pushed by FedericoPonzi
October 2, 2024 20:38 36s main
main
October 2, 2024 20:38 36s
Add tlaps library to allow formatting specs with EXTENDS TLAPS CI #69: Commit a5b7a60 pushed by FedericoPonzi
October 2, 2024 18:21 31s main
main
October 2, 2024 18:21 31s
Tests for main and the cli inputs CI #68: Commit 4987e5e pushed by FedericoPonzi
October 2, 2024 18:20 56s main
main
October 2, 2024 18:20 56s
Update README.md CI #67: Commit 62e8a77 pushed by FedericoPonzi
October 1, 2024 16:59 1m 5s main
main
October 1, 2024 16:59 1m 5s
Minor fixes after tla2tools upgrade CI #66: Commit 7b3c73d pushed by FedericoPonzi
October 1, 2024 16:56 1m 17s main
main
October 1, 2024 16:56 1m 17s
Update README CI #65: Commit c2232f9 pushed by FedericoPonzi
August 31, 2024 12:48 35s main
main
August 31, 2024 12:48 35s
Update README CI #64: Commit c56a18c pushed by FedericoPonzi
August 31, 2024 12:47 35s main
main
August 31, 2024 12:47 35s
Update README CI #63: Commit e6475d3 pushed by FedericoPonzi
August 31, 2024 12:46 34s main
main
August 31, 2024 12:46 34s