Add CBMC as dependency to nix #37
Annotations
4 errors
|
cbmc-viewer.nix#L1
/home/runner/work/mlkem-c-aarch64/mlkem-c-aarch64/cbmc-viewer.nix require to be formatted
|
|
flake.nix#L1
/home/runner/work/mlkem-c-aarch64/mlkem-c-aarch64/flake.nix require to be formatted
|
|
cbmc-viewer.nix#L25
cbmc-viewer.nix require to be formatted
|
|
|
This job failed
Loading