Skip to content

Add AWS-LC integration test #4764

Add AWS-LC integration test

Add AWS-LC integration test #4764

Triggered via pull request February 6, 2025 13:10
Status Cancelled
Total duration 4m 45s
Billable time 21m
Artifacts

ci.yml

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

2 errors and 1 warning
Quickcheck (macos (x86_64))
Canceling since a higher priority waiting request for 'CI-refs/pull/654/merge' exists
Quickcheck (macos (x86_64))
The operation was canceled.
Quickcheck (macos (aarch64))
python@3.13 3.13.1 is already installed and up-to-date. To reinstall 3.13.1, run: brew reinstall python@3.13