update Nix packages #199
Annotations
1 notice
|
Run nix run .#update -- check -A basil
basil differs by 0 non-merge commits from main (https://github.com/UQ-PAC/bil-to-boogie-translator/compare/b6a2409f60b977985ee0c97959cdcfe04bdb35f0...b6a2409f60b977985ee0c97959cdcfe04bdb35f0)
|
The logs for this run have expired and are no longer available.
Loading