Skip to content
CI

FIPS202: Add shake128[x4]_init() to FIPS202 API #4247

Sign in to view logs

FIPS202: Add shake128[x4]_init() to FIPS202 API

FIPS202: Add shake128[x4]_init() to FIPS202 API #4247

Triggered via pull request January 22, 2025 20:13
@hanno-beckerhanno-becker
opened #686
shake_init
Status Cancelled
Total duration 4m 27s
Artifacts –

ci.yml

on: pull_request
Matrix: Examples
Matrix: Linting
Matrix: quickcheck-c90
Matrix: Quickcheck lib
Matrix: quickcheck
lint-markdown-link
36s
lint-markdown-link
Quickcheck windows-latest
47s
Quickcheck windows-latest
Matrix: Check API consistency
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: 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

3 errors and 7 warnings
Quickcheck (aarch64)
Canceling since a higher priority waiting request for 'CI-refs/pull/686/merge' exists
Check API consistency (false, pqcp-arm64, aarch64)
Canceling since a higher priority waiting request for 'CI-refs/pull/686/merge' exists
Quickcheck C90 (aarch64)
Canceling since a higher priority waiting request for 'CI-refs/pull/686/merge' exists
Examples (ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Quickcheck lib (ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
lint-markdown-link
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Check API consistency (false, ubuntu-latest, x86_64)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Linting (ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Quickcheck C90 (x86_64)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Quickcheck (x86_64)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636