Skip to content

Actions: tlaplus-community/tlauc

Actions

Build & Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
28 workflow runs
28 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: keep the newline char if file ends with that (#20) Build & Test #63: Commit 0e62498 pushed by ahelwer
December 22, 2024 15:40 3m 35s main
main
December 22, 2024 15:40 3m 35s
fix: keep the newline char if file ends with that Build & Test #62: Pull request #20 synchronize by s12f
December 22, 2024 04:28 3m 24s s12f:keep_newline
s12f:keep_newline
December 22, 2024 04:28 3m 24s
fix: keep the newline char if file ends with that Build & Test #61: Pull request #20 synchronize by s12f
December 20, 2024 01:43 3m 35s s12f:keep_newline
s12f:keep_newline
December 20, 2024 01:43 3m 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
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
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
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
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
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
Made CLI more terse Build & Test #40: Pull request #10 synchronize by ahelwer
March 26, 2024 17:26 3m 46s terse-cli
terse-cli
March 26, 2024 17:26 3m 46s
Made CLI more terse Build & Test #39: Pull request #10 synchronize by ahelwer
March 26, 2024 17:24 14s terse-cli
terse-cli
March 26, 2024 17:24 14s
Made CLI more terse Build & Test #38: Pull request #10 opened by ahelwer
March 26, 2024 17:05 1m 22s terse-cli
terse-cli
March 26, 2024 17:05 1m 22s