update Nix packages #188
Annotations
1 error and 1 warning
Run nix run .#update -- do-upgrade -A alive2-regehr
Process completed with exit code 1.
|
Run nix run .#update -- check -A alive2-regehr
alive2-regehr differs by 4 non-merge commits from arm-tv (https://github.com/regehr/alive2/compare/53976b3d73adb161c98ee16026800108335276c0...9b7752cc44a9c9869080fc00a07d253f4f523bb0)
|
The logs for this run have expired and are no longer available.
Loading