Support Python 3.7 #3465
mkannwischerci.yml
on: pull_request
Matrix: Examples
Matrix: Linting
Matrix: quickcheck-c90
Matrix: Quickcheck lib
Matrix: quickcheck
Matrix: ec2_functests
Waiting for pending jobs
Matrix: build_kat
Matrix: compiler_tests
Matrix: Non-standard configurations
CBMC (ML-KEM-512)
/
Run container tests
CBMC (ML-KEM-512)
/
Run tests
CBMC (ML-KEM-768)
/
Run container tests
CBMC (ML-KEM-768)
/
Run tests
CBMC (ML-KEM-1024)
/
Run container tests
CBMC (ML-KEM-1024)
/
Run tests
Matrix: ec2_compatibilitytests
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
5 errors and 5 warnings
|
Format error
--- /home/runner/work/mlkem-native/mlkem-native/scripts/lib/util.py 2024-12-21 16:42:07.846447+00:00
|
|
Format error:
META.json#L42
META.json require to be formatted
|
|
Linting (ubuntu-latest)
Process completed with exit code 1.
|
|
Quickcheck C90 (aarch64)
Canceling since a higher priority waiting request for 'CI-refs/pull/564/merge' exists
|
|
Quickcheck C90 (aarch64)
The operation was canceled.
|
|
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
|