Skip to content
CI

Introduce common coeff_signed_to_unsigned function in poly.c #116

Sign in to view logs

Introduce common coeff_signed_to_unsigned function in poly.c

Introduce common coeff_signed_to_unsigned function in poly.c #116

Triggered via pull request June 17, 2024 09:25
@rod-chapmanrod-chapman
synchronize #53
rod-chapman:poly_compress_contracts
Status Failure
Total duration 4m 45s
Billable time 2m
Artifacts –

ci.yml

on: pull_request
Matrix: build_kat
Matrix: cbmc
Matrix: lint
Fit to window
Zoom out
Zoom in

Annotations

4 errors
cbmc (macos-latest)
Process completed with exit code 1.
Format error: cbmc/proofs/coeff_signed_to_unsigned/coeff_signed_to_unsigned_harness.c#L1
cbmc/proofs/coeff_signed_to_unsigned/coeff_signed_to_unsigned_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.