Skip to content

Actions: tlaplus-community/tlauc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
38 workflow runs
38 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

v1.0.4 release Release #15: Release 1.0.4 created by ahelwer
October 21, 2024 16:34 2m 35s
October 21, 2024 16:34 2m 35s
Upgraded to tstlaplus 1.5.0 Build & Test #59: Commit 01f9367 pushed by ahelwer
October 21, 2024 16:33 3m 54s main
main
October 21, 2024 16:33 3m 54s
Upgraded to tstlaplus 1.5.0 Build & Test #58: Pull request #19 opened by ahelwer
October 21, 2024 16:14 4m 7s update-tstla-deps
update-tstla-deps
October 21, 2024 16:14 4m 7s
v1.0.3 release Release #14: Release 1.0.3 created by ahelwer
September 30, 2024 16:27 1m 57s
September 30, 2024 16:27 1m 57s
Upgraded to tstlaplus 1.4.0 Build & Test #57: Commit 3d64a46 pushed by ahelwer
September 30, 2024 16:25 3m 50s main
main
September 30, 2024 16:25 3m 50s
Upgrade to tree-sitter-tlaplus 1.4.0 Build & Test #56: Pull request #18 opened by ahelwer
September 30, 2024 16:19 4m 16s update-tstla-deps
update-tstla-deps
September 30, 2024 16:19 4m 16s
Add link to emacs unicode plugin Build & Test #55: Commit ee3f1a8 pushed by ahelwer
May 18, 2024 15:34 2m 49s main
main
May 18, 2024 15:34 2m 49s
Updated tlaplus/examples corpus Build & Test #54: Commit 4cdb7dd pushed by ahelwer
May 17, 2024 22:36 4m 28s main
main
May 17, 2024 22:36 4m 28s
Handle blank input file Build & Test #53: Pull request #16 synchronize by ahelwer
May 17, 2024 22:30 3m 52s blank-input-file
blank-input-file
May 17, 2024 22:30 3m 52s
Handle blank input file Build & Test #52: Pull request #16 opened by ahelwer
May 17, 2024 22:19 2m 13s blank-input-file
blank-input-file
May 17, 2024 22:19 2m 13s
Updated README to reflect TLC Unicode changes Build & Test #51: Commit be8e208 pushed by ahelwer
May 17, 2024 16:39 3m 37s main
main
May 17, 2024 16:39 3m 37s
v1.0.2 release Release #13: Release 1.0.2 created by ahelwer
May 17, 2024 16:21 1m 55s
May 17, 2024 16:21 1m 55s
Publish crate when there are local uncommitted changes Build & Test #50: Commit 2c80630 pushed by ahelwer
May 17, 2024 16:21 2m 42s main
main
May 17, 2024 16:21 2m 42s
Release Release #12: created by ahelwer
May 17, 2024 16:17 42s
May 17, 2024 16:17 42s
Input release version dynamically Build & Test #49: Commit 5688df3 pushed by ahelwer
May 17, 2024 16:15 3m 3s main
main
May 17, 2024 16:15 3m 3s
Fixed input file overwrite bug (#15) Build & Test #48: Commit a57505b pushed by ahelwer
May 17, 2024 16:04 4m 15s main
main
May 17, 2024 16:04 4m 15s
Fixed input file overwrite bug Build & Test #47: Pull request #15 opened by ahelwer
May 17, 2024 15:56 2m 45s file-wipe-bug
file-wipe-bug
May 17, 2024 15:56 2m 45s
v1.0.1 release Release #11: Release 1.0.1 created by ahelwer
April 23, 2024 19:27 2m 38s
April 23, 2024 19:27 2m 38s
Properly translate number sets (#12) Build & Test #46: Commit 36cb75b pushed by ahelwer
April 23, 2024 19:26 3m 38s main
main
April 23, 2024 19:26 3m 38s
Properly translate number sets Build & Test #45: Pull request #12 opened by ahelwer
April 23, 2024 19:20 4m 5s translate-num-set
translate-num-set
April 23, 2024 19:20 4m 5s
v1.0.0 release Release #10: Release 1.0.0 created by ahelwer
April 18, 2024 21:08 1m 41s
April 18, 2024 21:08 1m 41s
Made CLI more terse (#10) Build & Test #44: Commit 95b3570 pushed by ahelwer
April 18, 2024 21:07 3m 1s main
main
April 18, 2024 21:07 3m 1s
Made CLI more terse Build & Test #43: Pull request #10 synchronize by ahelwer
April 18, 2024 21:02 2m 53s terse-cli
terse-cli
April 18, 2024 21:02 2m 53s
Made CLI more terse Build & Test #42: Pull request #10 synchronize by ahelwer
April 18, 2024 04:31 2m 44s terse-cli
terse-cli
April 18, 2024 04:31 2m 44s
Made CLI more terse Build & Test #41: Pull request #10 synchronize by ahelwer
March 26, 2024 17:31 3m 21s terse-cli
terse-cli
March 26, 2024 17:31 3m 21s