Skip to content

Proposal: API Extension #5168

Proposal: API Extension

Proposal: API Extension #5168

Triggered via pull request February 25, 2025 09:29
@mkannwischermkannwischer
synchronize #715
newapi
Status Failure
Total duration 6m 19s
Billable time 21m
Artifacts

ci.yml

on: pull_request
Matrix: Examples
Matrix: quickcheck-c90
Matrix: Quickcheck lib
Matrix: quickcheck-windows
Matrix: quickcheck
Matrix: Linting
lint-markdown-link
41s
lint-markdown-link
Matrix: Check API consistency
Matrix: quickcheck-windows-mingw-w64
Matrix: simpasm
Matrix: check-cf-protections
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

4 errors
Linting (ubuntu-latest)
Process completed with exit code 1.
Linting (pqcp-arm64)
Process completed with exit code 1.
Test control-flow protections (gcc-14, x86_64)
Process completed with exit code 1.
Test control-flow protections (clang-19, x86_64)
Process completed with exit code 1.