CI

CBMC: Work around naming but #176

Sign in to view logs

Triggered via push June 20, 2024 10:28

update_cbmc_6

Status Failure

Total duration 4m 51s

Billable time 3m

Artifacts –

ci.yml

on: push

Matrix: build_kat

Matrix: cbmc

Matrix: lint

Annotations

4 errors

Format error: cbmc/proofs/poly_compress/poly_compress_harness.c#L1

cbmc/proofs/poly_compress/poly_compress_harness.c 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: mlkem/poly.c#L1

mlkem/poly.c require to be formatted

lint (ubuntu-latest)

Process completed with exit code 1.