Fix Diverge/Elab.lean #1348
Annotations
1 error and 1 warning
Run nix develop --command ./scripts/ci-check-charon-pin.sh
Process completed with exit code 1.
|
|
Loading