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

Fix extraspec tests (#362) Run Examples #816: Commit 37bbf3d pushed by ailrst
March 11, 2025 05:28 20m 9s main
main
March 11, 2025 05:28 20m 9s
Interpreter: use Vector for trace instead of List (#356) Run Examples #815: Commit 8c8a786 pushed by ailrst
March 11, 2025 05:03 20m 43s main
main
March 11, 2025 05:03 20m 43s
Interpreter: use Vector for trace instead of List Run Examples #814: Pull request #356 synchronize by ailrst
March 11, 2025 04:56 20m 53s interpreter-perf
interpreter-perf
March 11, 2025 04:56 20m 53s
Fix extraspec tests Run Examples #813: Pull request #362 opened by ailrst
March 11, 2025 04:52 21m 32s fix-extraspec-test
fix-extraspec-test
March 11, 2025 04:52 21m 32s
Interpreter: use Vector for trace instead of List Run Examples #812: Pull request #356 synchronize by ailrst
March 11, 2025 04:18 19m 59s interpreter-perf
interpreter-perf
March 11, 2025 04:18 19m 59s
Interpreter: use Vector for trace instead of List Run Examples #811: Pull request #356 synchronize by ailrst
March 11, 2025 04:17 20m 51s interpreter-perf
interpreter-perf
March 11, 2025 04:17 20m 51s
Interpreter: use Vector for trace instead of List Run Examples #810: Pull request #356 synchronize by ailrst
March 11, 2025 04:13 20m 22s interpreter-perf
interpreter-perf
March 11, 2025 04:13 20m 22s
fix spinlock example (#361) Run Examples #809: Commit f374666 pushed by ailrst
March 11, 2025 04:11 20m 15s main
main
March 11, 2025 04:11 20m 15s
Fix sync_write_spinlock example Run Examples #808: Pull request #361 opened by l-kent
March 11, 2025 04:09 20m 10s spinlock-fix
spinlock-fix
March 11, 2025 04:09 20m 10s
Simplification Pass DSA Run Examples #807: Pull request #336 synchronize by sadrabt
March 11, 2025 03:48 20m 28s simp-pass-dsa
simp-pass-dsa
March 11, 2025 03:48 20m 28s
Tagging of test suites Run Examples #806: Pull request #350 synchronize by katrinafyi
March 11, 2025 03:23 28m 31s scalatest-grouping
scalatest-grouping
March 11, 2025 03:23 28m 31s
Tagging of test suites Run Examples #805: Pull request #350 synchronize by katrinafyi
March 11, 2025 03:13 27m 31s scalatest-grouping
scalatest-grouping
March 11, 2025 03:13 27m 31s
Tagging of test suites Run Examples #804: Pull request #350 synchronize by katrinafyi
March 11, 2025 03:11 28m 11s scalatest-grouping
scalatest-grouping
March 11, 2025 03:11 28m 11s
IndirectCallTest fixes (#357) Run Examples #803: Commit 992c50e pushed by ailrst
March 11, 2025 02:38 20m 3s main
main
March 11, 2025 02:38 20m 3s
Fixes issue with IndirectCallTests expecting incorrect names for proc… Run Examples #802: Commit bd38767 pushed by ailrst
March 11, 2025 02:37 20m 29s main
main
March 11, 2025 02:37 20m 29s
Fixes issue with IndirectCallTests expecting incorrect names for procedures Run Examples #801: Pull request #359 opened by l-kent
March 11, 2025 02:11 21m 0s indirect-call-tests-fix
indirect-call-tests-fix
March 11, 2025 02:11 21m 0s
IndirectCallTest fixes Run Examples #800: Pull request #357 opened by ailrst
March 11, 2025 01:59 20m 31s indirect-call-fixes
indirect-call-fixes
March 11, 2025 01:59 20m 31s
Interpreter: use Vector for trace instead of List Run Examples #799: Pull request #356 synchronize by ailrst
March 10, 2025 07:41 20m 21s interpreter-perf
interpreter-perf
March 10, 2025 07:41 20m 21s
Interpreter: use Vector for trace instead of List Run Examples #798: Pull request #356 synchronize by ailrst
March 10, 2025 07:39 24m 50s interpreter-perf
interpreter-perf
March 10, 2025 07:39 24m 50s
Interpreter: use Vector for trace instead of List Run Examples #797: Pull request #356 opened by ailrst
March 10, 2025 06:53 21m 38s interpreter-perf
interpreter-perf
March 10, 2025 06:53 21m 38s
Factor out Boogie tool output parsing Run Examples #796: Pull request #355 synchronize by ailrst
March 10, 2025 05:44 20m 33s verify-output
verify-output
March 10, 2025 05:44 20m 33s
Factor out Boogie tool output parsing Run Examples #795: Pull request #355 opened by ailrst
March 10, 2025 05:25 20m 45s verify-output
verify-output
March 10, 2025 05:25 20m 45s
Simplification Pass DSA Run Examples #794: Pull request #336 synchronize by sadrabt
March 10, 2025 02:24 20m 36s simp-pass-dsa
simp-pass-dsa
March 10, 2025 02:24 20m 36s
Simplification Pass DSA Run Examples #793: Pull request #336 synchronize by sadrabt
March 10, 2025 01:59 20m 44s simp-pass-dsa
simp-pass-dsa
March 10, 2025 01:59 20m 44s
add procedure call inlining (#345) Run Examples #792: Commit 684b92c pushed by ailrst
March 10, 2025 01:15 21m 45s main
main
March 10, 2025 01:15 21m 45s