CI

Bench: WIP #2810

Sign in to view logs

Triggered via pull request November 22, 2024 05:09

synchronize #445

bench_opt_no_opt

Status Cancelled

Total duration 18m 12s

Billable time 43m

Artifacts –

ci.yml

on: pull_request

Matrix: quickcheck

Quickcheck windows-latest

Matrix: compiler_tests

Matrix: Linting

cbmc_k2 / Start CBMC (MLKEM-512) (c7g.2xlarge)

cbmc_k3 / Start CBMC (MLKEM-768) (c7g.2xlarge)

cbmc_k4 / Start CBMC (MLKEM-1024) (c7g.2xlarge)

Matrix: build_kat

Matrix: Non-standard configurations

Matrix: ec2_functests

cbmc_k2 / tests

cbmc_k3 / tests

cbmc_k4 / tests

cbmc_k2 / Stop CBMC (MLKEM-512) (c7g.2xlarge)

cbmc_k3 / Stop CBMC (MLKEM-768) (c7g.2xlarge)

cbmc_k4 / Stop CBMC (MLKEM-1024) (c7g.2xlarge)

Annotations

3 errors

Missing copyright header error: mlkem/poly.c#L1

mlkem/poly.c is missing copyright header

Linting (ubuntu-latest)

Process completed with exit code 1.

Functional tests (ubuntu-latest (aarch64))

The run was canceled by @hanno-becker.