Skip to content
CI

Make custom FIPS-202 headers configurable #4801

Sign in to view logs

Make custom FIPS-202 headers configurable

Make custom FIPS-202 headers configurable #4801

Triggered via pull request February 7, 2025 05:51
@hanno-beckerhanno-becker
synchronize #755
fips202_inc
Status Cancelled
Total duration 1m 59s
Billable time 10m
Artifacts –

ci.yml

on: pull_request
Matrix: Examples
Matrix: Linting
Matrix: quickcheck-c90
Matrix: Quickcheck lib
Matrix: quickcheck-windows
Matrix: quickcheck
lint-markdown-link
38s
lint-markdown-link
Matrix: Check API consistency
Matrix: simpasm
CBMC (ML-KEM-512)  /  start-ec2-runner
CBMC (ML-KEM-512) / start-ec2-runner
CBMC (ML-KEM-768)  /  start-ec2-runner
CBMC (ML-KEM-768) / start-ec2-runner
CBMC (ML-KEM-1024)  /  start-ec2-runner
CBMC (ML-KEM-1024) / start-ec2-runner
Matrix: build_kat
Matrix: Check autogenerated files
Matrix: compatibility_tests
Matrix: compiler_tests
Matrix: Non-standard configurations
Matrix: ec2_compatibilitytests
Waiting for pending jobs
Matrix: ec2_functests
Waiting for pending jobs
CBMC (ML-KEM-512)  /  Run tests
CBMC (ML-KEM-512) / Run tests
CBMC (ML-KEM-768)  /  Run tests
CBMC (ML-KEM-768) / Run tests
CBMC (ML-KEM-1024)  /  Run tests
CBMC (ML-KEM-1024) / Run tests
CBMC (ML-KEM-512)  /  stop-ec2-runner
CBMC (ML-KEM-512) / stop-ec2-runner
CBMC (ML-KEM-768)  /  stop-ec2-runner
CBMC (ML-KEM-768) / stop-ec2-runner
CBMC (ML-KEM-1024)  /  stop-ec2-runner
CBMC (ML-KEM-1024) / stop-ec2-runner
Fit to window
Zoom out
Zoom in

Annotations

21 errors
Linting (pqcp-arm64)
Canceling since a higher priority waiting request for 'CI-refs/pull/755/merge' exists
Check API consistency (false, pqcp-arm64, aarch64)
Canceling since a higher priority waiting request for 'CI-refs/pull/755/merge' exists
AArch64 dev backend (Optimized, Simplified)
Canceling since a higher priority waiting request for 'CI-refs/pull/755/merge' exists
AArch64 dev backend (Optimized, Simplified)
A task was canceled.
Quickcheck lib (pqcp-arm64)
Canceling since a higher priority waiting request for 'CI-refs/pull/755/merge' exists
Quickcheck lib (pqcp-arm64)
The operation was canceled.
Quickcheck (macos (aarch64))
Canceling since a higher priority waiting request for 'CI-refs/pull/755/merge' exists
Quickcheck (macos (aarch64))
The operation was canceled.
AArch64 dev backend (Optimized, Unmodified)
Canceling since a higher priority waiting request for 'CI-refs/pull/755/merge' exists
Linting (ubuntu-latest)
Canceling since a higher priority waiting request for 'CI-refs/pull/755/merge' exists
Quickcheck (x86_64)
Canceling since a higher priority waiting request for 'CI-refs/pull/755/merge' exists
Quickcheck C90 (aarch64)
Canceling since a higher priority waiting request for 'CI-refs/pull/755/merge' exists
Quickcheck (x86_64)
The operation was canceled.
Quickcheck C90 (aarch64)
The operation was canceled.
Quickcheck C90 (x86_64)
Canceling since a higher priority waiting request for 'CI-refs/pull/755/merge' exists
Quickcheck C90 (x86_64)
The operation was canceled.
Quickcheck (aarch64)
Canceling since a higher priority waiting request for 'CI-refs/pull/755/merge' exists
AArch64 dev backend (Clean, Simplified)
Canceling since a higher priority waiting request for 'CI-refs/pull/755/merge' exists
Quickcheck (macos (x86_64))
Canceling since a higher priority waiting request for 'CI-refs/pull/755/merge' exists
Quickcheck (macos (x86_64))
The operation was canceled.
AArch64 dev backend (Clean, Unmodified)
Canceling since a higher priority waiting request for 'CI-refs/pull/755/merge' exists