katrinafyi / pac-nix Public

Notifications
Fork 2
Star 2

Additional navigation options

Code
Issues
Pull requests
Actions
Security
Insights

build Nix packages

gtirb-semantics: use ocaml 4 #706

gtirb-semantics: use ocaml 4

gtirb-semantics: use ocaml 4 #706

Summary
Jobs
Run details
- Usage
- Workflow file

Usage Workflow file

Annotations

7 warnings and 6 notices

Run nix run .#update -- check

asli differs by 1 non-merge commits from partial_eval (https://github.com/UQ-PAC/aslp/compare/e43aeb2039b4d1b6e058f325417cced0b1814632...d264ef3eb5adef7cc5ed65e4832ff17c4d355581)

Run nix run .#update -- check

gtirb-semantics differs by 1 non-merge commits from main (https://github.com/UQ-PAC/gtirb-semantics/compare/b35ce4b667b17aeb2fd3b6644ade4d882b6a354c...5eccdc6fab2ddf649de2ffe17f9ef79bcc0c9aa0)

Run nix run .#update -- check

alive2-regehr differs by 6 non-merge commits from arm-tv (https://github.com/regehr/alive2/compare/95158e86a76d9bbc7e3dbd0b056f2575a24d16ba...00060d987a7a3992c960c6070e9ac975ea273cd5)

Run nix run .#update -- check

aslp_web differs by 15 non-merge commits from main (https://github.com/katrinafyi/aslp-web/compare/a774047588e45fb51bec1ad38c5476dc5638ded5...f9d2b292eca95737c585b5baf8306e3688e09228)

Run nix run .#update -- check

aslp-server differs by 5 non-merge commits from main (https://github.com/UQ-PAC/aslp-rpc/compare/4deea4f561853388dd54fcb2ccae14bd9bbe22e1...360d4e3e2da0e6801cf90f93903b40e43fd9cbfd)

Run nix run .#update -- check

aslp-cpp differs by 5 non-merge commits from main (https://github.com/UQ-PAC/aslp-rpc/compare/4deea4f561853388dd54fcb2ccae14bd9bbe22e1...360d4e3e2da0e6801cf90f93903b40e43fd9cbfd)

Run nix run .#update -- check

aslp_client_server_ocaml differs by 5 non-merge commits from main (https://github.com/UQ-PAC/aslp-rpc/compare/4deea4f561853388dd54fcb2ccae14bd9bbe22e1...360d4e3e2da0e6801cf90f93903b40e43fd9cbfd)

Run nix run .#update -- check

bap-asli-plugin differs by 0 non-merge commits from main (https://github.com/UQ-PAC/bap-asli-plugin/compare/ad9c51b12f721317568f94181197d8ff4a01b1d3...ad9c51b12f721317568f94181197d8ff4a01b1d3)

Run nix run .#update -- check

basil differs by 0 non-merge commits from main (https://github.com/UQ-PAC/bil-to-boogie-translator/compare/e1ecd5ff7bc90139d175d87fe0bdc4ec2d8e98db...e1ecd5ff7bc90139d175d87fe0bdc4ec2d8e98db)

Run nix run .#update -- check

bap-primus differs by 0 non-merge commits from aarch64-pull-request-2 (https://github.com/UQ-PAC/bap/compare/acfdc1067afa847fa1eadac9700eae349434dc3b...acfdc1067afa847fa1eadac9700eae349434dc3b)

Run nix run .#update -- check

asl-translator differs by 0 non-merge commits from main (https://github.com/UQ-PAC/llvm-translator/compare/2110ff718c2f3bd8f428653b3f6ce471eb399adb...2110ff718c2f3bd8f428653b3f6ce471eb399adb)

Run nix run .#update -- check

alive2-aslp differs by 0 non-merge commits from aslp (https://github.com/katrinafyi/alive2/compare/78657f9693767952ffad6a9901421dd820386b41...78657f9693767952ffad6a9901421dd820386b41)

Run nix run .#update -- check

compiler-explorer differs by 0 non-merge commits from main (https://github.com/ailrst/compiler-explorer/compare/fe7ed875f644a7fc0841382439ebe1f619bff05d...fe7ed875f644a7fc0841382439ebe1f619bff05d)

update-check

succeeded Feb 5, 2025 in 1m 36s

Set up job

Error:

This step has been truncated due to its large size. Download the full logs from the menu once the workflow run has completed.

Run actions/checkout@v4

Error:

This step has been truncated due to its large size. Download the full logs from the menu once the workflow run has completed.

Run cachix/install-nix-action@v25

Error:

This step has been truncated due to its large size. Download the full logs from the menu once the workflow run has completed.

Run nix build .#update

16s

Error:

This step has been truncated due to its large size. Download the full logs from the menu once the workflow run has completed.

Run nix run .#update -- check

1m 14s

Error:

This step has been truncated due to its large size. Download the full logs from the menu once the workflow run has completed.

Post Run actions/checkout@v4

Error:

This step has been truncated due to its large size. Download the full logs from the menu once the workflow run has completed.

Complete job

Error:

This step has been truncated due to its large size. Download the full logs from the menu once the workflow run has completed.

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

gtirb-semantics: use ocaml 4 #706

update-check

gtirb-semantics: use ocaml 4 #706

Jobs

Run details

Annotations

update-check

Re-running jobs...