Skip to content
CI

Make custom FIPS-202 headers configurable #4785

Sign in to view logs

Make custom FIPS-202 headers configurable

Make custom FIPS-202 headers configurable #4785

Triggered via pull request February 6, 2025 19:59
@hanno-beckerhanno-becker
synchronize #755
fips202_inc
Status Success
Total duration 15m 17s
Billable time 1h 21m
Artifacts –

ci.yml

on: pull_request
Matrix: Examples
Matrix: Linting
Matrix: quickcheck-c90
Matrix: Quickcheck lib
Matrix: quickcheck-windows
Matrix: quickcheck
lint-markdown-link
34s
lint-markdown-link
Matrix: Check API consistency
Matrix: simpasm
CBMC (ML-KEM-512)  /  Start instance (c7g.2xlarge)
1m 1s
CBMC (ML-KEM-512) / Start instance (c7g.2xlarge)
CBMC (ML-KEM-768)  /  Start instance (c7g.2xlarge)
1m 11s
CBMC (ML-KEM-768) / Start instance (c7g.2xlarge)
CBMC (ML-KEM-1024)  /  Start instance (c7g.2xlarge)
1m 1s
CBMC (ML-KEM-1024) / Start instance (c7g.2xlarge)
Matrix: build_kat
Matrix: Check autogenerated files
Matrix: compatibility_tests
Matrix: compiler_tests
Matrix: Non-standard configurations
Matrix: ec2_compatibilitytests
Matrix: ec2_functests
CBMC (ML-KEM-512)  /  Run tests
5m 35s
CBMC (ML-KEM-512) / Run tests
CBMC (ML-KEM-768)  /  Run tests
6m 58s
CBMC (ML-KEM-768) / Run tests
CBMC (ML-KEM-1024)  /  Run tests
6m 20s
CBMC (ML-KEM-1024) / Run tests
CBMC (ML-KEM-512)  /  Stop instance (c7g.2xlarge)
4s
CBMC (ML-KEM-512) / Stop instance (c7g.2xlarge)
CBMC (ML-KEM-768)  /  Stop instance (c7g.2xlarge)
4s
CBMC (ML-KEM-768) / Stop instance (c7g.2xlarge)
CBMC (ML-KEM-1024)  /  Stop instance (c7g.2xlarge)
4s
CBMC (ML-KEM-1024) / Stop instance (c7g.2xlarge)
Fit to window
Zoom out
Zoom in