Skip to content

Actions: tlaplus/tlaplus-formatter

Actions

Deploy to GitHub Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pages.yml
28 workflow runs
28 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Prepare v0.3.0 release Deploy to GitHub Pages #28: Commit 7aa6a56 pushed by FedericoPonzi
1m 12s main
main
1m 12s
Merge pull request #21 from FedericoPonzi/issue-20 Deploy to GitHub Pages #27: Commit 644b2d0 pushed by FedericoPonzi
55s main
main
55s
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 Deploy to GitHub Pages #25: Commit e197372 pushed by FedericoPonzi
1m 16s main
main
1m 16s
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
Add link to repo Deploy to GitHub Pages #23: Commit e7ff670 pushed by FedericoPonzi
1m 6s main
main
1m 6s
ci: automatically prepand in release description the latest version's… Deploy to GitHub Pages #22: Commit ebf5d94 pushed by FedericoPonzi
53s main
main
53s
Release 0.2.1 Deploy to GitHub Pages #21: Commit c0b1dd3 pushed by FedericoPonzi
1m 2s main
main
1m 2s
fix: whitespace after the box operator, causing [][Next] to be reform… Deploy to GitHub Pages #20: Commit 8968cc6 pushed by FedericoPonzi
51s main
main
51s
fix: whitespace after the box operator, causing [][Next] to be reform… Deploy to GitHub Pages #19: Commit b70db76 pushed by FedericoPonzi
49s main
main
49s
Version 0.2.0 Deploy to GitHub Pages #18: Commit ad716eb pushed by FedericoPonzi
54s main
main
54s
fix: whitespace after the box operator, causing [][Next] to be reform… Deploy to GitHub Pages #17: Commit 6516394 pushed by FedericoPonzi
1m 0s main
main
1m 0s
Version 0.2.0 Deploy to GitHub Pages #16: Commit 7adbe44 pushed by FedericoPonzi
1m 0s main
main
1m 0s
refactoring: simplify the passing of tla modules, matching the interf… Deploy to GitHub Pages #15: Commit 8650b17 pushed by FedericoPonzi
1m 2s main
main
1m 2s
fix: remove temp directory and file on jvm exit Deploy to GitHub Pages #14: Commit 7d67d15 pushed by FedericoPonzi
49s main
main
49s
fix: remove temp directory and file on jvm exit Deploy to GitHub Pages #13: Commit f4df144 pushed by FedericoPonzi
58s main
main
58s
fix: remove temp directory and file on jvm exit Deploy to GitHub Pages #12: Commit d04e5a6 pushed by FedericoPonzi
57s main
main
57s
fix: remove temp directory and file on jvm exit Deploy to GitHub Pages #11: Commit cc31d49 pushed by FedericoPonzi
51s main
main
51s
refactoring: applies lint fixes Deploy to GitHub Pages #10: Commit 765fe47 pushed by FedericoPonzi
52s main
main
52s
refactoring: applies lint fixes Deploy to GitHub Pages #9: Commit 2a23b80 pushed by FedericoPonzi
1m 1s main
main
1m 1s
refactoring: applies lint fixes Deploy to GitHub Pages #8: Commit c9d3a95 pushed by FedericoPonzi
1m 5s main
main
1m 5s
refactoring: applies lint fixes Deploy to GitHub Pages #7: Commit 0e5b753 pushed by FedericoPonzi
51s main
main
51s
Merge pull request #15 from FedericoPonzi/dependabot/github_actions/a… Deploy to GitHub Pages #6: Commit 5d1e03d pushed by FedericoPonzi
59s main
main
59s
Enforce spec validation by default, fixes #14 Deploy to GitHub Pages #5: Commit c13fe2a pushed by FedericoPonzi
1m 18s main
main
1m 18s
Update README Deploy to GitHub Pages #4: Commit f44c5ce pushed by FedericoPonzi
1m 7s main
main
1m 7s