Skip to content

Make custom FIPS-202 headers configurable #4791

Make custom FIPS-202 headers configurable

Make custom FIPS-202 headers configurable #4791

Triggered via pull request February 7, 2025 04:38
Status Failure
Total duration 21m 53s
Billable time 1h 22m
Artifacts

ci.yml

on: pull_request
Matrix: Examples
Matrix: Linting
Matrix: quickcheck-c90
Matrix: Quickcheck lib
Matrix: quickcheck-windows
Matrix: quickcheck
lint-markdown-link
33s
lint-markdown-link
Matrix: Check API consistency
Matrix: simpasm
CBMC (ML-KEM-512)  /  Run tests
5m 42s
CBMC (ML-KEM-512) / Run tests
CBMC (ML-KEM-768)  /  Run tests
6m 11s
CBMC (ML-KEM-768) / Run tests
CBMC (ML-KEM-1024)  /  Run tests
14m 59s
CBMC (ML-KEM-1024) / Run tests
CBMC (ML-KEM-512)  /  Stop instance (c7g.2xlarge)
6s
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)
7s
CBMC (ML-KEM-1024) / Stop instance (c7g.2xlarge)
Fit to window
Zoom out
Zoom in

Annotations

1 error
CBMC (ML-KEM-1024) / Run tests
The self-hosted runner: ip-172-31-1-219 lost communication with the server. Verify the machine is running and has a healthy network connection. Anything in your workflow that terminates the runner process, starves it for CPU/Memory, or blocks its network access can cause this error.