CBMC: Proof of poly_ntt()
#2509
hanno-beckerci.yml
on: pull_request
Matrix: quickcheck
Matrix: compiler_tests
Matrix: Linting
cbmc_k2
/
Start CBMC (MLKEM-512) (c7g.2xlarge)
1m 11s
cbmc_k3
/
Start CBMC (MLKEM-768) (c7g.2xlarge)
1m 23s
cbmc_k4
/
Start CBMC (MLKEM-1024) (c7g.2xlarge)
1m 2s
Matrix: build_kat
Matrix: ec2_functests
cbmc_k2
/
Stop CBMC (MLKEM-512) (c7g.2xlarge)
3s
cbmc_k3
/
Stop CBMC (MLKEM-768) (c7g.2xlarge)
4s
cbmc_k4
/
Stop CBMC (MLKEM-1024) (c7g.2xlarge)
9s
Annotations
13 errors
|
Functional tests (AMD EPYC 4th gen (t3a)) / Start AMD EPYC 4th gen (t3a) (t3a.small)
Canceling since a higher priority waiting request for 'CI-refs/pull/371/merge' exists
|
|
Functional tests (AMD EPYC 4th gen (t3a)) / Start AMD EPYC 4th gen (t3a) (t3a.small)
The operation was canceled.
|
|
Functional tests (Intel Xeon 4th gen (t3)) / Start Intel Xeon 4th gen (t3) (t3.small)
Canceling since a higher priority waiting request for 'CI-refs/pull/371/merge' exists
|
|
Functional tests (Intel Xeon 4th gen (t3)) / Start Intel Xeon 4th gen (t3) (t3.small)
The operation was canceled.
|
|
cbmc_k3 / Start CBMC (MLKEM-768) (c7g.2xlarge)
Canceling since a higher priority waiting request for 'CI-refs/pull/371/merge' exists
|
|
cbmc_k3 / Start CBMC (MLKEM-768) (c7g.2xlarge)
The operation was canceled.
|
|
cbmc_k2 / tests
Canceling since a higher priority waiting request for 'CI-refs/pull/371/merge' exists
|
|
Functional tests (ubuntu-latest (x86_64))
Canceling since a higher priority waiting request for 'CI-refs/pull/371/merge' exists
|
|
Functional tests (ubuntu-latest (aarch64))
Canceling since a higher priority waiting request for 'CI-refs/pull/371/merge' exists
|
|
Functional tests (Graviton3 (c7g.medium)) / tests
Canceling since a higher priority waiting request for 'CI-refs/pull/371/merge' exists
|
|
cbmc_k4 / tests
Canceling since a higher priority waiting request for 'CI-refs/pull/371/merge' exists
|
|
Functional tests (Graviton2 (c6g.medium)) / tests
Canceling since a higher priority waiting request for 'CI-refs/pull/371/merge' exists
|
|
Functional tests (MacOS)
Canceling since a higher priority waiting request for 'CI-refs/pull/371/merge' exists
|