Skip to content

Actions: DistCompiler/dcal

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
46 workflow runs
46 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/validation.yml #23: Commit 2abdc17 pushed by fhackett
November 28, 2024 23:29 38s main
main
November 28, 2024 23:29 38s
initial DebugAdapter .github/workflows/validation.yml #22: Commit 0c4c801 pushed by fhackett
November 28, 2024 22:47 34s main
main
November 28, 2024 22:47 34s
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/validation.yml #21: Commit ef741b8 pushed by fhackett
November 8, 2024 15:47 36s main
main
November 8, 2024 15:47 36s
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/validation.yml #20: Commit 4ba393f pushed by fhackett
November 8, 2024 15:46 34s main
main
November 8, 2024 15:46 34s
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/validation.yml #19: Commit 8aa7fe7 pushed by fhackett
November 8, 2024 14:22 37s main
main
November 8, 2024 14:22 37s
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
over-match pattern bugfix, and TLA+ parser skips proofs properly .github/workflows/validation.yml #18: Commit 9810b5a pushed by fhackett
November 7, 2024 15:48 41s main
main
November 7, 2024 15:48 41s
make topDown pass less syntactically confusing .github/workflows/validation.yml #17: Commit cda7174 pushed by fhackett
October 30, 2024 15:09 37s main
main
October 30, 2024 15:09 37s
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
fix formatting .github/workflows/validation.yml #16: Commit 26cc144 pushed by fhackett
October 30, 2024 14:57 42s main
main
October 30, 2024 14:57 42s
more TLA+ units .github/workflows/validation.yml #15: Commit 9e87397 pushed by fhackett
October 30, 2024 13:09 34s main
main
October 30, 2024 13:09 34s
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 TokenSrc .github/workflows/validation.yml #14: Commit 6e75743 pushed by fhackett
October 29, 2024 14:24 41s main
main
October 29, 2024 14:24 41s
add more TLA+ units, consider TLA+2 .github/workflows/validation.yml #13: Commit dce5aeb pushed by fhackett
October 28, 2024 17:02 40s main
main
October 28, 2024 17:02 40s
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/validation.yml #12: Commit 0294eec pushed by fhackett
October 28, 2024 17:02 37s main
main
October 28, 2024 17:02 37s
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/validation.yml #11: Commit 2d19b56 pushed by fhackett
October 28, 2024 15:21 41s main
main
October 28, 2024 15:21 41s