Build Nix packages

keep NIX_PATH. #6

Sign in to view logs

Triggered via push September 11, 2023 12:21

katrinafyi

main

Status Success

Total duration 2m 13s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

nix.yml

on: push

Matrix: nix

Annotations

3 notices

Package current: asli

asli differs by 0 commits (https://github.com/UQ-PAC/aslp/compare/672f3556a06904b31590d13ee697bd53c127801b...partial_eval)

Package current: bap-asli-plugin

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

Package current: basil

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