x86_64: Add CET instructions and check in CI #4842
mkannwischerci.yml
on: pull_request
Matrix: Examples
Matrix: quickcheck-c90
Matrix: Quickcheck lib
Matrix: quickcheck-windows
Matrix: quickcheck
lint-markdown-link
34s
Matrix: Linting
Matrix: Check API consistency
Matrix: simpasm
Matrix: check-cf-protections
Matrix: build_kat
Matrix: Check autogenerated files
Matrix: compatibility_tests
Matrix: compiler_tests
Matrix: Non-standard configurations
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
7 errors
|
Linting (ubuntu-latest)
Process completed with exit code 1.
|
|
AArch64 dev backend (Clean, Simplified)
Process completed with exit code 1.
|
|
AArch64 dev backend (Clean, Unmodified)
Process completed with exit code 2.
|
|
Quickcheck (macos (x86_64))
Canceling since a higher priority waiting request for 'CI-refs/pull/761/merge' exists
|
|
Quickcheck (macos (x86_64))
The operation was canceled.
|
|
Quickcheck (aarch64)
Canceling since a higher priority waiting request for 'CI-refs/pull/761/merge' exists
|
|
Quickcheck (aarch64)
The operation was canceled.
|