CI: Add Docker-based compatibility tests, add tests to make quickcheck
#3503
Triggered via pull request
December 22, 2024 08:19
mkannwischer
Status
Startup failure
Total duration
–
Artifacts
–
ci.yml
on: pull_request
Matrix: Examples
Waiting for pending jobs
Matrix: Linting
Waiting for pending jobs
Matrix: quickcheck-c90
Waiting for pending jobs
Matrix: Quickcheck lib
Waiting for pending jobs
Matrix: quickcheck
Waiting for pending jobs
Matrix: build_kat
Waiting for pending jobs
Matrix: compatibility_tests
Waiting for pending jobs
Matrix: compiler_tests
Waiting for pending jobs
Matrix: Non-standard configurations
Waiting for pending jobs
Matrix: ec2_compatibilitytests
Waiting for pending jobs
Matrix: ec2_functests
Waiting for pending jobs
CBMC (ML-KEM-512)
/
stop-ec2-runner
CBMC (ML-KEM-768)
/
stop-ec2-runner
CBMC (ML-KEM-1024)
/
stop-ec2-runner
Annotations
1 error
|
Invalid workflow file:
.github/workflows/ci.yml#L536
The workflow is not valid. .github/workflows/ci.yml (Line: 536, Col: 19): Invalid input, extraflags is not defined in the referenced workflow.
|