Skip to content

test

test #661

Triggered via push December 20, 2024 15:10
Status Startup failure
Total duration
Artifacts

ci.yml

on: push
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
Quickcheck windows-latest
Quickcheck windows-latest
lint-markdown-link
lint-markdown-link
test
test
CBMC (ML-KEM-512)  /  Run test
CBMC (ML-KEM-512) / Run test
CBMC (ML-KEM-768)  /  Run test
CBMC (ML-KEM-768) / Run test
CBMC (ML-KEM-1024)  /  Run test
CBMC (ML-KEM-1024) / Run test
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

1 error
Invalid workflow file: .github/workflows/ci.yml#L27
The workflow is not valid. .github/workflows/ci.yml (Line: 27, Col: 16): Unrecognized named-value: 'steps'. Located at position 1 within expression: steps.first.outputs.shell