Check that the Charon options are correct #1594
Annotations
1 error and 1 warning
|
Run nix develop --command ./scripts/ci-check-charon-pin-is-merged.sh
Process completed with exit code 1.
|
|
|
Loading