Skip to content

Actions: UQ-PAC/aslp

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
433 workflow runs
433 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #110 from UQ-PAC/cmp_rewrites Test partial eval #496: Commit 9796e56 pushed by ncough
September 30, 2024 03:31 8m 19s partial_eval
partial_eval
September 30, 2024 03:31 8m 19s
Merge pull request #107 from mmcloughlin/transform-bits_coerce_narrow… Test partial eval #495: Commit f0edba3 pushed by ncough
September 27, 2024 22:24 8m 2s partial_eval
partial_eval
September 27, 2024 22:24 8m 2s
Additional symbolic rewrites Test partial eval #494: Pull request #110 opened by ncough
September 26, 2024 21:55 8m 0s cmp_rewrites
cmp_rewrites
September 26, 2024 21:55 8m 0s
separate server module Test partial eval #493: Pull request #109 synchronize by ailrst
September 25, 2024 04:39 8m 6s separate-server-module
separate-server-module
September 25, 2024 04:39 8m 6s
separate server module Build with opam #107: Pull request #109 synchronize by ailrst
September 25, 2024 04:39 13m 51s separate-server-module
separate-server-module
September 25, 2024 04:39 13m 51s
separate server module Test partial eval #492: Pull request #109 synchronize by ailrst
September 24, 2024 06:19 7m 43s separate-server-module
separate-server-module
September 24, 2024 06:19 7m 43s
separate server module Build with opam #106: Pull request #109 synchronize by ailrst
September 24, 2024 06:19 14m 30s separate-server-module
separate-server-module
September 24, 2024 06:19 14m 30s
separate server module Test partial eval #491: Pull request #109 synchronize by ailrst
September 24, 2024 06:00 7m 47s separate-server-module
separate-server-module
September 24, 2024 06:00 7m 47s
separate server module Build with opam #105: Pull request #109 synchronize by ailrst
September 24, 2024 06:00 13m 43s separate-server-module
separate-server-module
September 24, 2024 06:00 13m 43s
separate server module Test partial eval #490: Pull request #109 synchronize by ailrst
September 24, 2024 05:36 7m 54s separate-server-module
separate-server-module
September 24, 2024 05:36 7m 54s
separate server module Build with opam #104: Pull request #109 synchronize by ailrst
September 24, 2024 05:36 14m 45s separate-server-module
separate-server-module
September 24, 2024 05:36 14m 45s
separate server module Build with opam #103: Pull request #109 synchronize by ailrst
September 24, 2024 05:12 13m 52s separate-server-module
separate-server-module
September 24, 2024 05:12 13m 52s
separate server module Test partial eval #489: Pull request #109 synchronize by ailrst
September 24, 2024 05:12 7m 36s separate-server-module
separate-server-module
September 24, 2024 05:12 7m 36s
separate server module Test partial eval #488: Pull request #109 synchronize by ailrst
September 24, 2024 04:57 7m 51s separate-server-module
separate-server-module
September 24, 2024 04:57 7m 51s
separate server module Build with opam #102: Pull request #109 synchronize by ailrst
September 24, 2024 04:57 13m 48s separate-server-module
separate-server-module
September 24, 2024 04:57 13m 48s
separate server module Build with opam #101: Pull request #109 synchronize by ailrst
September 24, 2024 04:55 2m 17s separate-server-module
separate-server-module
September 24, 2024 04:55 2m 17s
separate server module Test partial eval #487: Pull request #109 synchronize by ailrst
September 24, 2024 04:55 7m 40s separate-server-module
separate-server-module
September 24, 2024 04:55 7m 40s
separate server module Test partial eval #486: Pull request #109 opened by ailrst
September 24, 2024 04:32 8m 3s separate-server-module
separate-server-module
September 24, 2024 04:32 8m 3s
separate server module Build with opam #100: Pull request #109 opened by ailrst
September 24, 2024 04:32 16m 54s separate-server-module
separate-server-module
September 24, 2024 04:32 16m 54s
Handle mul_bits in bits_coerce_narrow transform Test partial eval #485: Pull request #107 synchronize by mmcloughlin
September 22, 2024 19:27 8m 10s mmcloughlin:transform-bits_coerce_narrow-mul
mmcloughlin:transform-bits_coerce_narrow-mul
September 22, 2024 19:27 8m 10s
Handle mul_bits in bits_coerce_narrow transform Test partial eval #484: Pull request #107 synchronize by mmcloughlin
September 21, 2024 02:43 5m 31s mmcloughlin:transform-bits_coerce_narrow-mul
mmcloughlin:transform-bits_coerce_narrow-mul
September 21, 2024 02:43 5m 31s
Handle mul_bits in bits_coerce_narrow transform Test partial eval #483: Pull request #107 opened by mmcloughlin
September 21, 2024 02:41 5m 45s mmcloughlin:transform-bits_coerce_narrow-mul
mmcloughlin:transform-bits_coerce_narrow-mul
September 21, 2024 02:41 5m 45s
remove almost-useless .vscode file Test partial eval #482: Pull request #105 opened by katrinafyi
September 5, 2024 06:38 7m 50s rm-vscode
rm-vscode
September 5, 2024 06:38 7m 50s
ci: add scala lifter compilation Test partial eval #481: Pull request #104 synchronize by katrinafyi
September 5, 2024 05:48 7m 45s scala-ci
scala-ci
September 5, 2024 05:48 7m 45s
ci: add scala lifter compilation Test partial eval #480: Pull request #104 synchronize by katrinafyi
September 2, 2024 06:27 7m 46s scala-ci
scala-ci
September 2, 2024 06:27 7m 46s