update Nix packages #131
Annotations
1 error and 1 warning
|
Run git push
Process completed with exit code 1.
|
|
Run nix run .#update -- check -A basil
basil differs by 14 non-merge commits from main (https://github.com/UQ-PAC/bil-to-boogie-translator/compare/40a0b0f60c2bf177cc962a4c2cf36637ebaad3a8...41e0788565720875c00e257a6adc7d15462cb009)
|
The logs for this run have expired and are no longer available.
Loading