update Nix packages #433
Annotations
2 errors and 1 warning
|
Run nix run .#update -- do-upgrade -A basil
Process completed with exit code 1.
|
|
Run [[ -z "$(git log '@{push}..')" ]] && nix run .#update -- upgrade -A basil -- --commit
Process completed with exit code 1.
|
|
Run nix run .#update -- check -A basil
basil differs by 5 non-merge commits from main (https://github.com/UQ-PAC/bil-to-boogie-translator/compare/2d006ebadc761079bcecfd3ae0a683116db72e34...6c13a886ea0a038e610ba2d3add8c73f6cc0df1c)
|
Loading