Skip to content

Actions: UQ-PAC/BASIL

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
665 workflow runs
665 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Tagging of test suites Run Examples #841: Pull request #350 synchronize by katrinafyi
March 12, 2025 06:34 28m 14s scalatest-grouping
scalatest-grouping
March 12, 2025 06:34 28m 14s
Fix interp value analysis test termination assertion (#367) Run Examples #840: Commit 1a55a33 pushed by katrinafyi
March 12, 2025 06:26 20m 12s main
main
March 12, 2025 06:26 20m 12s
use .to(ArraySeq) instead of .toArray, fixing some deprecations (#365) Run Examples #839: Commit 6cfc767 pushed by ailrst
March 12, 2025 06:23 20m 40s main
main
March 12, 2025 06:23 20m 40s
Fix interp test Run Examples #838: Pull request #367 opened by ailrst
March 12, 2025 06:23 20m 20s fix-interp-test
fix-interp-test
March 12, 2025 06:23 20m 20s
Tagging of test suites Run Examples #837: Pull request #350 synchronize by katrinafyi
March 12, 2025 05:53 27m 49s scalatest-grouping
scalatest-grouping
March 12, 2025 05:53 27m 49s
Merge pull request #366 from UQ-PAC/dsa-tests-fix Run Examples #836: Commit a2c78d2 pushed by sadrabt
March 12, 2025 05:49 20m 21s main
main
March 12, 2025 05:49 20m 21s
change constants to be recognized as globals Run Examples #835: Pull request #366 opened by sadrabt
March 12, 2025 05:48 20m 16s dsa-tests-fix
dsa-tests-fix
March 12, 2025 05:48 20m 16s
fix: deprecation warnings caused by .toArray Run Examples #834: Pull request #365 opened by katrinafyi
March 12, 2025 05:22 20m 28s fix-dsl-deprecated
fix-dsl-deprecated
March 12, 2025 05:22 20m 28s
Tagging of test suites Run Examples #833: Pull request #350 synchronize by katrinafyi
March 12, 2025 04:55 28m 1s scalatest-grouping
scalatest-grouping
March 12, 2025 04:55 28m 1s
Tagging of test suites Run Examples #832: Pull request #350 synchronize by katrinafyi
March 12, 2025 04:50 27m 46s scalatest-grouping
scalatest-grouping
March 12, 2025 04:50 27m 46s
Interpreter: callProcedure with return values (#352) Run Examples #831: Commit 9b8fc6e pushed by ailrst
March 12, 2025 04:37 20m 23s main
main
March 12, 2025 04:37 20m 23s
Interpreter: callProcedure with return values Run Examples #830: Pull request #352 synchronize by ailrst
March 12, 2025 04:16 20m 27s interpreter-eval-proc
interpreter-eval-proc
March 12, 2025 04:16 20m 27s
Tagging of test suites Run Examples #829: Pull request #350 synchronize by katrinafyi
March 12, 2025 04:10 27m 54s scalatest-grouping
scalatest-grouping
March 12, 2025 04:10 27m 54s
Interpreter: callProcedure with return values Run Examples #828: Pull request #352 synchronize by ailrst
March 12, 2025 04:10 2m 37s interpreter-eval-proc
interpreter-eval-proc
March 12, 2025 04:10 2m 37s
Simplify known bits Run Examples #827: Pull request #335 synchronize by ailrst
March 12, 2025 04:07 20m 26s simplify-known-bits
simplify-known-bits
March 12, 2025 04:07 20m 26s
keep Old() when rewriting spec for param form to support memload/stor… Run Examples #826: Commit b1eb086 pushed by ailrst
March 12, 2025 04:03 20m 38s main
main
March 12, 2025 04:03 20m 38s
Tagging of test suites Run Examples #825: Pull request #350 synchronize by katrinafyi
March 12, 2025 02:24 27m 37s scalatest-grouping
scalatest-grouping
March 12, 2025 02:24 27m 37s
Tagging of test suites Run Examples #824: Pull request #350 synchronize by katrinafyi
March 12, 2025 02:23 27m 20s scalatest-grouping
scalatest-grouping
March 12, 2025 02:23 27m 20s
Tagging of test suites Run Examples #823: Pull request #350 synchronize by katrinafyi
March 12, 2025 02:10 28m 23s scalatest-grouping
scalatest-grouping
March 12, 2025 02:10 28m 23s
Merge pull request #336 from UQ-PAC/simp-pass-dsa Run Examples #822: Commit 800dd6f pushed by sadrabt
March 12, 2025 01:56 20m 25s main
main
March 12, 2025 01:56 20m 25s
Simplification Pass DSA Run Examples #821: Pull request #336 synchronize by sadrabt
March 12, 2025 01:49 20m 53s simp-pass-dsa
simp-pass-dsa
March 12, 2025 01:49 20m 53s
Simplification Pass DSA Run Examples #820: Pull request #336 synchronize by sadrabt
March 12, 2025 01:33 20m 28s simp-pass-dsa
simp-pass-dsa
March 12, 2025 01:33 20m 28s
Simplification Pass DSA Run Examples #819: Pull request #336 synchronize by sadrabt
March 12, 2025 01:27 20m 54s simp-pass-dsa
simp-pass-dsa
March 12, 2025 01:27 20m 54s
Simplification Pass DSA Run Examples #818: Pull request #336 synchronize by sadrabt
March 12, 2025 01:21 20m 23s simp-pass-dsa
simp-pass-dsa
March 12, 2025 01:21 20m 23s
parameter form: Keep Old() when rewriting spec to support memload/store Run Examples #817: Pull request #364 opened by ailrst
March 11, 2025 05:33 20m 12s fix-missing-old
fix-missing-old
March 11, 2025 05:33 20m 12s