Skip to content

Actions: DistCompiler/dcal

Actions

.github/workflows/test.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
23 workflow runs
23 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

initial DebugAdapter .github/workflows/test.yml #23: Commit 2abdc17 pushed by fhackett
November 28, 2024 23:29 3m 2s main
main
November 28, 2024 23:29 3m 2s
initial DebugAdapter .github/workflows/test.yml #22: Commit 0c4c801 pushed by fhackett
November 28, 2024 22:47 3m 0s main
main
November 28, 2024 22:47 3m 0s
remove hack of ignoring the scripts dir .github/workflows/test.yml #21: Commit ef741b8 pushed by fhackett
November 8, 2024 15:47 3m 9s main
main
November 8, 2024 15:47 3m 9s
remove hack of ignoring the scripts dir .github/workflows/test.yml #20: Commit 4ba393f pushed by fhackett
November 8, 2024 15:46 2m 58s main
main
November 8, 2024 15:46 2m 58s
make scala version more precise .github/workflows/test.yml #19: Commit 8aa7fe7 pushed by fhackett
November 8, 2024 14:22 2m 59s main
main
November 8, 2024 14:22 2m 59s
over-match pattern bugfix, and TLA+ parser skips proofs properly .github/workflows/test.yml #18: Commit 9810b5a pushed by fhackett
November 7, 2024 15:48 3m 10s main
main
November 7, 2024 15:48 3m 10s
make topDown pass less syntactically confusing .github/workflows/test.yml #17: Commit cda7174 pushed by fhackett
October 30, 2024 15:09 2m 17s main
main
October 30, 2024 15:09 2m 17s
fix formatting .github/workflows/test.yml #16: Commit 26cc144 pushed by fhackett
October 30, 2024 14:57 2m 3s main
main
October 30, 2024 14:57 2m 3s
more TLA+ units .github/workflows/test.yml #15: Commit 9e87397 pushed by fhackett
October 30, 2024 13:09 2m 58s main
main
October 30, 2024 13:09 2m 58s
add TokenSrc .github/workflows/test.yml #14: Commit 6e75743 pushed by fhackett
October 29, 2024 14:24 2m 13s main
main
October 29, 2024 14:24 2m 13s
add more TLA+ units, consider TLA+2 .github/workflows/test.yml #13: Commit dce5aeb pushed by fhackett
October 28, 2024 17:02 2m 7s main
main
October 28, 2024 17:02 2m 7s
add more TLA+ units, consider TLA+2 .github/workflows/test.yml #12: Commit 0294eec pushed by fhackett
October 28, 2024 17:02 2m 10s main
main
October 28, 2024 17:02 2m 10s
fix CI tests name .github/workflows/test.yml #11: Commit 2d19b56 pushed by fhackett
October 28, 2024 15:21 2m 13s main
main
October 28, 2024 15:21 2m 13s
change CI to track scala-cli main .github/workflows/test.yml #10: Commit 6c7527d pushed by fhackett
October 28, 2024 14:06 2m 26s main
main
October 28, 2024 14:06 2m 26s
implement Node.Embed related stubs .github/workflows/test.yml #9: Commit de81fac pushed by fhackett
October 25, 2024 14:07 2m 16s main
main
October 25, 2024 14:07 2m 16s
implement Node.Embed related stubs .github/workflows/test.yml #8: Commit 9e7fe4c pushed by fhackett
October 25, 2024 14:02 2m 17s main
main
October 25, 2024 14:02 2m 17s
java 11 compatibility .github/workflows/test.yml #7: Commit 5762f39 pushed by fhackett
October 25, 2024 11:40 2m 3s main
main
October 25, 2024 11:40 2m 3s
fix license-check name .github/workflows/test.yml #6: Commit c59f655 pushed by fhackett
October 25, 2024 11:29 1m 6s main
main
October 25, 2024 11:29 1m 6s
fix updateLicense scalafmt .github/workflows/test.yml #5: Commit 5541e50 pushed by fhackett
October 25, 2024 11:28 1m 10s main
main
October 25, 2024 11:28 1m 10s
CI attempt 3 .github/workflows/test.yml #4: Commit 4fe8666 pushed by fhackett
October 25, 2024 11:27 1m 5s main
main
October 25, 2024 11:27 1m 5s
better command-line for updateLicense .github/workflows/test.yml #3: Commit ea4c562 pushed by fhackett
October 25, 2024 11:23 58s main
main
October 25, 2024 11:23 58s
CI attempt 2 .github/workflows/test.yml #2: Commit 91f5da5 pushed by fhackett
October 25, 2024 10:02 1m 0s main
main
October 25, 2024 10:02 1m 0s
CI attempt 1 .github/workflows/test.yml #1: Commit f178e91 pushed by fhackett
October 25, 2024 10:01 1s main
main
October 25, 2024 10:01 1s