Add CBMC as dependency to nix · pq-code-package/mlkem-native@2895110

Triggered via pull request June 12, 2024 06:34

synchronize #54

mkannwischer:cbmcnix

Status Failure

Total duration 3m 11s

Billable time 2m

Artifacts –

ci.yml

on: pull_request

Matrix: build_kat

Matrix: cbmc

Matrix: lint

11 errors

Format error: cbmc-viewer.nix#L1

/home/runner/work/mlkem-c-aarch64/mlkem-c-aarch64/cbmc-viewer.nix require to be formatted

Format error: flake.nix#L1

/home/runner/work/mlkem-c-aarch64/mlkem-c-aarch64/flake.nix require to be formatted

Format error: cbmc/proofs/poly_decompress/poly_decompress_harness.c#L1

cbmc/proofs/poly_decompress/poly_decompress_harness.c require to be formatted

Format error: fips202/keccakf1600.c#L1

fips202/keccakf1600.c require to be formatted

Format error: mlkem/cbd.c#L1

mlkem/cbd.c require to be formatted

Format error: mlkem/cbd.h#L1

mlkem/cbd.h require to be formatted

Format error: mlkem/indcpa.c#L1

mlkem/indcpa.c require to be formatted

Format error: mlkem/ntt.c#L1

mlkem/ntt.c require to be formatted

Format error: mlkem/poly.c#L1

mlkem/poly.c require to be formatted

Format error: mlkem/polyvec.c#L1

mlkem/polyvec.c require to be formatted

Process completed with exit code 1.