Skip to content
CI

test #660

Sign in to view logs

test

test #660

Triggered via push December 9, 2024 09:10
@potsrevennilpotsrevennil
pushed 04d55d5
main
Status Cancelled
Total duration 44s
Artifacts –

ci.yml

on: push
Matrix: quickcheck
Quickcheck windows-latest
17s
Quickcheck windows-latest
Matrix: Linting
Matrix: quickcheck-c90
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: compiler_tests
Matrix: Non-standard configurations
Matrix: ec2_functests
Waiting for pending jobs
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

7 errors
Quickcheck windows-latest
The run was canceled by @potsrevennil.
Quickcheck windows-latest
The operation was canceled.
Quickcheck (x86_64)
The run was canceled by @potsrevennil.
Quickcheck (x86_64)
The operation was canceled.
Quickcheck C90 (x86_64)
The run was canceled by @potsrevennil.
Quickcheck C90 (x86_64)
The operation was canceled.
Linting (ubuntu-latest)
The run was canceled by @potsrevennil.