CI

Contract-based proofs of poly.c scalar_[de]compress_q* #80

Sign in to view logs

Re-run triggered June 13, 2024 18:15

cothan

#61

rod-chapman:scalar_compress_proofs

Status Failure

Total duration 10m 22s

Billable time 2m

Artifacts –

ci.yml

on: pull_request

Matrix: build_kat

Matrix: cbmc

Matrix: lint

Annotations

2 errors

Format error: mlkem/poly.c#L1

mlkem/poly.c require to be formatted

lint (ubuntu-latest)

Process completed with exit code 1.