Skip to content
Triggered via push January 2, 2025 05:49
Status Cancelled
Total duration 2m 44s
Artifacts

ci.yml

on: push
Matrix: Examples
Matrix: Linting
Matrix: quickcheck-c90
Matrix: Quickcheck lib
Matrix: quickcheck
lint-markdown-link
38s
lint-markdown-link
Quickcheck windows-latest
30s
Quickcheck windows-latest
Compatibility tests (ubuntu-20.04)
14s
Compatibility tests (ubuntu-20.04)
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

8 errors and 6 warnings
Compatibility tests (ubuntu-20.04)
Process completed with exit code 1.
Compiler tests (x86_64)
Canceling since a higher priority waiting request for 'CI-refs/heads/main' exists
Compatibility tests (debian:bullseye)
Canceling since a higher priority waiting request for 'CI-refs/heads/main' exists
Compatibility tests (debian:bookworm)
Canceling since a higher priority waiting request for 'CI-refs/heads/main' exists
Compatibility tests (debian:bookworm)
The operation was canceled.
Compiler tests (macos)
Canceling since a higher priority waiting request for 'CI-refs/heads/main' exists
Functional tests (mac)
Canceling since a higher priority waiting request for 'CI-refs/heads/main' exists
CI
Error when evaluating 'runs-on' for job 'config_variations'. .github/workflows/ci.yml (Line: 360, Col: 14): Unexpected value ''
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
Quickcheck (x86_64)
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
Linting (ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636