Skip to content

Actions: UQ-PAC/aslp

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
53 workflow runs
53 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
changes 0.3.4 Test partial eval #635: Commit 92e4fd9 pushed by agle
11m 36s partial_eval
partial_eval
11m 36s
version 0.3.4 Test partial eval #634: Pull request #153 opened by agle
11m 30s bump-3.3.4
bump-3.3.4
11m 30s
Treat bit-literals as pure in is_pure_exp (#152) Test partial eval #633: Commit 3b302bd pushed by katrinafyi
12m 45s partial_eval
partial_eval
12m 45s
Treat bit-literals as pure in is_pure_exp Test partial eval #632: Pull request #152 opened by mmcloughlin
13m 10s mmcloughlin:extr-fix
mmcloughlin:extr-fix
13m 10s
deparametrise unconstrained types in offline ocaml IBI (#151) Test partial eval #631: Commit 63c418a pushed by katrinafyi
12m 54s partial_eval
partial_eval
12m 54s
deparametrise unconstrained types in offline ocaml IBI (#151) Build with opam #155: Commit 63c418a pushed by katrinafyi
19m 16s partial_eval
partial_eval
19m 16s
deparametrise unconstrained types in offline ocaml IBI Test partial eval #630: Pull request #151 synchronize by katrinafyi
13m 11s ibi-degeneralise
ibi-degeneralise
13m 11s
deparametrise unconstrained types in offline ocaml IBI Build with opam #154: Pull request #151 synchronize by katrinafyi
18m 49s ibi-degeneralise
ibi-degeneralise
18m 49s
deparametrise unconstrained types in offline ocaml IBI Test partial eval #629: Pull request #151 synchronize by katrinafyi
9m 52s ibi-degeneralise
ibi-degeneralise
9m 52s
deparametrise unconstrained types in offline ocaml IBI Build with opam #153: Pull request #151 synchronize by katrinafyi
19m 4s ibi-degeneralise
ibi-degeneralise
19m 4s
deparametrise unconstrained types in offline ocaml IBI Test partial eval #628: Pull request #151 synchronize by katrinafyi
12m 43s ibi-degeneralise
ibi-degeneralise
12m 43s
deparametrise unconstrained types in offline ocaml IBI Test partial eval #627: Pull request #151 opened by katrinafyi
12m 49s ibi-degeneralise
ibi-degeneralise
12m 49s
Merge pull request #150 from UQ-PAC/bump-version Test partial eval #626: Commit 5657e30 pushed by agle
13m 13s partial_eval
partial_eval
13m 13s
Merge pull request #150 from UQ-PAC/bump-version Build with opam #152: Commit 5657e30 pushed by agle
18m 26s partial_eval
partial_eval
18m 26s
bump version 0.3.3 Test partial eval #625: Pull request #150 opened by agle
12m 28s bump-version
bump-version
12m 28s
bump version 0.3.3 Build with opam #151: Pull request #150 opened by agle
18m 43s bump-version
bump-version
18m 43s
Support IBI variation in Ocaml offline backend (#149) Test partial eval #624: Commit fcbf7ac pushed by katrinafyi
12m 29s partial_eval
partial_eval
12m 29s
Support IBI variation in Ocaml offline backend (#149) Build with opam #150: Commit fcbf7ac pushed by katrinafyi
21m 43s partial_eval
partial_eval
21m 43s
Support IBI variation in Ocaml offline backend Build with opam #149: Pull request #149 synchronize by katrinafyi
19m 4s ocamlibi
ocamlibi
19m 4s
Support IBI variation in Ocaml offline backend Test partial eval #623: Pull request #149 synchronize by katrinafyi
12m 35s ocamlibi
ocamlibi
12m 35s
Support IBI variation in Ocaml offline backend Test partial eval #622: Pull request #149 synchronize by katrinafyi
12m 39s ocamlibi
ocamlibi
12m 39s
Support IBI variation in Ocaml offline backend Build with opam #148: Pull request #149 synchronize by katrinafyi
19m 40s ocamlibi
ocamlibi
19m 40s
Support IBI variation in Ocaml offline backend Test partial eval #621: Pull request #149 opened by katrinafyi
1m 13s ocamlibi
ocamlibi
1m 13s
Support IBI variation in Ocaml offline backend Build with opam #147: Pull request #149 opened by katrinafyi
2m 56s ocamlibi
ocamlibi
2m 56s
version 0.3.2 (#148) Test partial eval #620: Commit 5cda695 pushed by katrinafyi
12m 55s partial_eval
partial_eval
12m 55s