Skip to content

Actions: UQ-PAC/aslp

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

Scala backend & lifter-optimiser bdd copyprop
Build with opam #91: Pull request #102 opened by ailrst
July 24, 2024 05:32 17m 43s scala-generic
July 24, 2024 05:32 17m 43s
Scala backend & lifter-optimiser bdd copyprop
Test partial eval #462: Pull request #102 opened by ailrst
July 24, 2024 05:32 2m 27s scala-generic
July 24, 2024 05:32 2m 27s
ci: add offline c++ lifter syntax checking
Test partial eval #461: Pull request #101 synchronize by katrinafyi
July 24, 2024 05:10 7m 44s cpp-ci
July 24, 2024 05:10 7m 44s
ci: add offline c++ lifter syntax checking
Build with opam #90: Pull request #101 synchronize by katrinafyi
July 24, 2024 05:10 16m 55s cpp-ci
July 24, 2024 05:10 16m 55s
ci: add offline c++ lifter syntax checking
Build with opam #89: Pull request #101 synchronize by katrinafyi
July 24, 2024 04:54 16m 0s cpp-ci
July 24, 2024 04:54 16m 0s
ci: add offline c++ lifter syntax checking
Test partial eval #460: Pull request #101 synchronize by katrinafyi
July 24, 2024 04:54 7m 49s cpp-ci
July 24, 2024 04:54 7m 49s
ci: add offline c++ lifter syntax checking
Build with opam #88: Pull request #101 synchronize by katrinafyi
July 24, 2024 04:45 9m 12s cpp-ci
July 24, 2024 04:45 9m 12s
ci: add offline c++ lifter syntax checking
Test partial eval #459: Pull request #101 synchronize by katrinafyi
July 24, 2024 04:45 7m 53s cpp-ci
July 24, 2024 04:45 7m 53s
ci: add offline c++ lifter syntax checking
Test partial eval #458: Pull request #101 synchronize by katrinafyi
July 24, 2024 04:40 7m 47s cpp-ci
July 24, 2024 04:40 7m 47s
ci: add offline c++ lifter syntax checking
Build with opam #87: Pull request #101 synchronize by katrinafyi
July 24, 2024 04:40 4m 56s cpp-ci
July 24, 2024 04:40 4m 56s
ci: add offline c++ lifter syntax checking
Build with opam #86: Pull request #101 opened by katrinafyi
July 24, 2024 04:39 1m 13s cpp-ci
July 24, 2024 04:39 1m 13s
ci: add offline c++ lifter syntax checking
Test partial eval #457: Pull request #101 opened by katrinafyi
July 24, 2024 04:39 8m 14s cpp-ci
July 24, 2024 04:39 8m 14s
cpp backend (#62)
Test partial eval #456: Commit a19d5ab pushed by ailrst
July 24, 2024 04:24 8m 8s partial_eval
July 24, 2024 04:24 8m 8s
cpp backend
Test partial eval #455: Pull request #62 synchronize by katrinafyi
July 24, 2024 04:21 7m 40s cpp-backend
July 24, 2024 04:21 7m 40s
cpp backend
Test partial eval #454: Pull request #62 synchronize by katrinafyi
July 24, 2024 03:25 8m 6s cpp-backend
July 24, 2024 03:25 8m 6s
Revert "dis: do not emit slices with dynamic indices"
Build with opam #85: Commit eeb0ae8 pushed by ailrst
July 24, 2024 03:13 19m 32s partial_eval
July 24, 2024 03:13 19m 32s
Revert "dis: do not emit slices with dynamic indices"
Test partial eval #453: Commit eeb0ae8 pushed by ailrst
July 24, 2024 03:13 8m 0s partial_eval
July 24, 2024 03:13 8m 0s
fix offline generation after vectoriser and add ci
Build with opam #84: Pull request #99 synchronize by ailrst
July 24, 2024 02:14 15m 59s offline-after-vec
July 24, 2024 02:14 15m 59s
fix offline generation after vectoriser and add ci
Test partial eval #452: Pull request #99 synchronize by ailrst
July 24, 2024 02:14 7m 58s offline-after-vec
July 24, 2024 02:14 7m 58s
fix offline generation after vectoriser and add ci
Build with opam #83: Pull request #99 synchronize by ailrst
July 24, 2024 02:11 2m 26s offline-after-vec
July 24, 2024 02:11 2m 26s
fix offline generation after vectoriser and add ci
Test partial eval #451: Pull request #99 synchronize by ailrst
July 24, 2024 02:11 6m 16s offline-after-vec
July 24, 2024 02:11 6m 16s
fix offline generation after vectoriser and add ci
Test partial eval #450: Pull request #99 synchronize by ailrst
July 24, 2024 02:02 6m 20s offline-after-vec
July 24, 2024 02:02 6m 20s
fix offline generation after vectoriser and add ci
Build with opam #82: Pull request #99 synchronize by ailrst
July 24, 2024 02:02 9m 37s offline-after-vec
July 24, 2024 02:02 9m 37s
fix offline generation after vectoriser and add ci
Test partial eval #449: Pull request #99 synchronize by katrinafyi
July 22, 2024 08:57 6m 25s offline-after-vec
July 22, 2024 08:57 6m 25s
fix offline generation after vectoriser and add ci
Build with opam #81: Pull request #99 synchronize by katrinafyi
July 22, 2024 08:57 15m 46s offline-after-vec
July 22, 2024 08:57 15m 46s