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

ci: use nix
Build with opam #7: Pull request #50 synchronize by katrinafyi
March 4, 2024 01:44 18m 39s use-nix
March 4, 2024 01:44 18m 39s
ci: use nix
Test partial eval #220: Pull request #50 synchronize by katrinafyi
March 4, 2024 01:44 13m 10s use-nix
March 4, 2024 01:44 13m 10s
ci: use nix
Test partial eval #219: Pull request #50 synchronize by katrinafyi
March 4, 2024 01:43 13m 21s use-nix
March 4, 2024 01:43 13m 21s
Update opam.yml
Build with opam #6: Commit cd55b57 pushed by katrinafyi
March 4, 2024 01:43 2m 12s use-nix
March 4, 2024 01:43 2m 12s
ci: use nix
Test partial eval #218: Pull request #50 synchronize by katrinafyi
March 3, 2024 16:16 13m 24s use-nix
March 3, 2024 16:16 13m 24s
run on github changes
Build with opam #5: Commit 65c2128 pushed by katrinafyi
March 3, 2024 16:16 18m 33s use-nix
March 3, 2024 16:16 18m 33s
ci: use nix
Test partial eval #217: Pull request #50 synchronize by katrinafyi
March 3, 2024 16:15 13m 18s use-nix
March 3, 2024 16:15 13m 18s
ci: use nix
Build with opam #4: Pull request #50 synchronize by katrinafyi
March 3, 2024 16:12 3m 29s use-nix
March 3, 2024 16:12 3m 29s
ci: use nix
Test partial eval #216: Pull request #50 synchronize by katrinafyi
March 3, 2024 16:12 13m 18s use-nix
March 3, 2024 16:12 13m 18s
touch
Build with opam #3: Commit 2e3aee6 pushed by katrinafyi
March 3, 2024 16:12 3m 22s use-nix
March 3, 2024 16:12 3m 22s
ci: use nix
Build with opam #2: Pull request #50 synchronize by katrinafyi
March 3, 2024 16:10 23s use-nix
March 3, 2024 16:10 23s
ci: use nix
Test partial eval #215: Pull request #50 synchronize by katrinafyi
March 3, 2024 16:10 13m 27s use-nix
March 3, 2024 16:10 13m 27s
touch
Build with opam #1: Commit 282682a pushed by katrinafyi
March 3, 2024 16:10 2m 17s use-nix
March 3, 2024 16:10 2m 17s
ci: use nix
Test partial eval #214: Pull request #50 synchronize by katrinafyi
March 3, 2024 16:08 13m 16s use-nix
March 3, 2024 16:08 13m 16s
ci: use nix
Test partial eval #213: Pull request #50 synchronize by katrinafyi
March 3, 2024 15:47 13m 14s use-nix
March 3, 2024 15:47 13m 14s
ci: use nix
Test partial eval #212: Pull request #50 synchronize by katrinafyi
March 3, 2024 15:44 1m 13s use-nix
March 3, 2024 15:44 1m 13s
ci: use nix
Test partial eval #201: Pull request #50 opened by katrinafyi
March 3, 2024 14:59 3m 21s use-nix
March 3, 2024 14:59 3m 21s
Merge pull request #48 from UQ-PAC/enums
Test partial eval #200: Commit 064c257 pushed by ncough
February 23, 2024 01:57 14m 24s partial_eval
February 23, 2024 01:57 14m 24s
Floating Point Cleanup
Test partial eval #199: Pull request #48 opened by ncough
February 22, 2024 01:27 14m 24s enums
February 22, 2024 01:27 14m 24s
Merge pull request #47 from UQ-PAC/sysreg
Test partial eval #198: Commit f84fae9 pushed by ncough
February 22, 2024 01:21 15m 0s partial_eval
February 22, 2024 01:21 15m 0s
Add partial support for sysreg accessors
Test partial eval #197: Pull request #47 opened by ncough
February 21, 2024 00:44 14m 49s sysreg
February 21, 2024 00:44 14m 49s
Merge pull request #42 from UQ-PAC/redundant-slice-of-reg
Test partial eval #196: Commit 51d0561 pushed by katrinafyi
February 15, 2024 07:14 14m 33s partial_eval
February 15, 2024 07:14 14m 33s
handle Type_Register in redundant slices.
Test partial eval #195: Pull request #42 opened by katrinafyi
February 15, 2024 06:59 14m 40s redundant-slice-of-reg
February 15, 2024 06:59 14m 40s
aslp-server: lazy aarch64_evaluation_environment.
Test partial eval #194: Commit 147b156 pushed by katrinafyi
February 14, 2024 01:04 14m 32s partial_eval
February 14, 2024 01:04 14m 32s
Merge pull request #40 from UQ-PAC/clientserver
Test partial eval #193: Commit dfa9d8f pushed by katrinafyi
February 13, 2024 08:02 14m 22s partial_eval
February 13, 2024 08:02 14m 22s
ProTip! You can narrow down the results and go further in time using created:<2024-02-13 or the other filters available.