Skip to content
CI

Proposal: API Extension #5167

Sign in to view logs

Proposal: API Extension

Proposal: API Extension #5167

Triggered via pull request February 25, 2025 09:26
@mkannwischermkannwischer
synchronize #715
newapi
Status Failure
Total duration 2m 29s
Billable time 15m
Artifacts –

ci.yml

on: pull_request
Matrix: Examples
Matrix: quickcheck-c90
Matrix: Quickcheck lib
Matrix: quickcheck-windows
Matrix: quickcheck
Matrix: Linting
lint-markdown-link
34s
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

16 errors
Check API consistency (false, ubuntu-latest, x86_64)
Process completed with exit code 2.
Quickcheck (x86_64)
Process completed with exit code 2.
Quickcheck C90 (x86_64)
Process completed with exit code 2.
Quickcheck (aarch64)
Process completed with exit code 2.
Quickcheck C90 (aarch64)
Process completed with exit code 2.
Quickcheck (macos (aarch64))
Process completed with exit code 2.
Check API consistency (false, pqcp-arm64, aarch64)
Process completed with exit code 2.
Quickcheck (macos (x86_64))
Process completed with exit code 2.
Quickcheck (Mingw-w64 11.2.0)
Process completed with exit code 2.
AArch64 dev backend (Optimized, Unmodified)
Process completed with exit code 2.
AArch64 dev backend (Clean, Simplified)
Process completed with exit code 2.
AArch64 dev backend (Optimized, Simplified)
Process completed with exit code 2.
AArch64 dev backend (Clean, Unmodified)
Process completed with exit code 2.
Quickcheck (Mingw-w64 12.2.0)
Process completed with exit code 2.
Quickcheck (Mingw-w64 13.2.0)
Process completed with exit code 2.
Quickcheck (Mingw-w64 5.4.0)
Process completed with exit code 2.