CBMC: More minor clean-up #2549
mkannwischerci.yml
on: pull_request
Matrix: quickcheck
Matrix: compiler_tests
Matrix: Linting
cbmc_k4
/
Start CBMC (MLKEM-1024) (c7g.2xlarge)
1m 1s
Matrix: build_kat
Matrix: ec2_functests
cbmc_k2
/
Stop CBMC (MLKEM-512) (c7g.2xlarge)
4s
cbmc_k3
/
Stop CBMC (MLKEM-768) (c7g.2xlarge)
6s
cbmc_k4
/
Stop CBMC (MLKEM-1024) (c7g.2xlarge)
3s
Annotations
30 errors
|
Format error:
mlkem/poly.c#L193
mlkem/poly.c require to be formatted
|
|
Linting (ubuntu-latest)
Process completed with exit code 1.
|
|
Functional tests (Graviton2 (c6g.medium)) / Start Graviton2 (c6g.medium) (c6g.medium)
AWS EC2 instance starting error
|
|
Functional tests (Graviton2 (c6g.medium)) / Start Graviton2 (c6g.medium) (c6g.medium)
VcpuLimitExceeded: You have requested more vCPU capacity than your current vCPU limit of 96 allows for the instance bucket that the specified instance type belongs to. Please visit http://aws.amazon.com/contact-us/ec2-request to request an adjustment to this limit.
|
|
Functional tests (Graviton2 (c6g.medium)) / Start Graviton2 (c6g.medium) (c6g.medium)
You have requested more vCPU capacity than your current vCPU limit of 96 allows for the instance bucket that the specified instance type belongs to. Please visit http://aws.amazon.com/contact-us/ec2-request to request an adjustment to this limit.
|
|
Functional tests (AMD EPYC 4th gen (t3a)) / Start AMD EPYC 4th gen (t3a) (t3a.small)
AWS EC2 instance starting error
|
|
Functional tests (AMD EPYC 4th gen (t3a)) / Start AMD EPYC 4th gen (t3a) (t3a.small)
VcpuLimitExceeded: You have requested more vCPU capacity than your current vCPU limit of 96 allows for the instance bucket that the specified instance type belongs to. Please visit http://aws.amazon.com/contact-us/ec2-request to request an adjustment to this limit.
|
|
Functional tests (AMD EPYC 4th gen (t3a)) / Start AMD EPYC 4th gen (t3a) (t3a.small)
You have requested more vCPU capacity than your current vCPU limit of 96 allows for the instance bucket that the specified instance type belongs to. Please visit http://aws.amazon.com/contact-us/ec2-request to request an adjustment to this limit.
|
|
cbmc_k2 / Start CBMC (MLKEM-512) (c7g.2xlarge)
AWS EC2 instance starting error
|
|
cbmc_k2 / Start CBMC (MLKEM-512) (c7g.2xlarge)
VcpuLimitExceeded: You have requested more vCPU capacity than your current vCPU limit of 96 allows for the instance bucket that the specified instance type belongs to. Please visit http://aws.amazon.com/contact-us/ec2-request to request an adjustment to this limit.
|
|
cbmc_k2 / Start CBMC (MLKEM-512) (c7g.2xlarge)
You have requested more vCPU capacity than your current vCPU limit of 96 allows for the instance bucket that the specified instance type belongs to. Please visit http://aws.amazon.com/contact-us/ec2-request to request an adjustment to this limit.
|
|
Functional tests (AMD EPYC 4th gen (t3a)) / Stop AMD EPYC 4th gen (t3a) (t3a.small)
Error: Not all the required inputs are provided for the 'stop' mode
|
|
Functional tests (AMD EPYC 4th gen (t3a)) / Stop AMD EPYC 4th gen (t3a) (t3a.small)
Not all the required inputs are provided for the 'stop' mode
|
|
Functional tests (AMD EPYC 4th gen (t3a)) / Stop AMD EPYC 4th gen (t3a) (t3a.small)
TypeError: Cannot read properties of undefined (reading 'mode')
|
|
Functional tests (AMD EPYC 4th gen (t3a)) / Stop AMD EPYC 4th gen (t3a) (t3a.small)
Cannot read properties of undefined (reading 'mode')
|
|
Functional tests (Graviton2 (c6g.medium)) / Stop Graviton2 (c6g.medium) (c6g.medium)
Error: Not all the required inputs are provided for the 'stop' mode
|
|
Functional tests (Graviton2 (c6g.medium)) / Stop Graviton2 (c6g.medium) (c6g.medium)
Not all the required inputs are provided for the 'stop' mode
|
|
Functional tests (Graviton2 (c6g.medium)) / Stop Graviton2 (c6g.medium) (c6g.medium)
TypeError: Cannot read properties of undefined (reading 'mode')
|
|
Functional tests (Graviton2 (c6g.medium)) / Stop Graviton2 (c6g.medium) (c6g.medium)
Cannot read properties of undefined (reading 'mode')
|
|
cbmc_k2 / Stop CBMC (MLKEM-512) (c7g.2xlarge)
Error: Not all the required inputs are provided for the 'stop' mode
|
|
cbmc_k2 / Stop CBMC (MLKEM-512) (c7g.2xlarge)
Not all the required inputs are provided for the 'stop' mode
|
|
cbmc_k2 / Stop CBMC (MLKEM-512) (c7g.2xlarge)
TypeError: Cannot read properties of undefined (reading 'mode')
|
|
cbmc_k2 / Stop CBMC (MLKEM-512) (c7g.2xlarge)
Cannot read properties of undefined (reading 'mode')
|
|
cbmc_k4 / tests
Canceling since a higher priority waiting request for 'CI-refs/pull/381/merge' exists
|
|
cbmc_k3 / tests
Canceling since a higher priority waiting request for 'CI-refs/pull/381/merge' exists
|
|
Functional tests (MacOS)
Canceling since a higher priority waiting request for 'CI-refs/pull/381/merge' exists
|
|
Functional tests (Intel Xeon 4th gen (t3)) / tests
Canceling since a higher priority waiting request for 'CI-refs/pull/381/merge' exists
|
|
Functional tests (ubuntu-latest (aarch64))
Canceling since a higher priority waiting request for 'CI-refs/pull/381/merge' exists
|
|
Functional tests (Graviton3 (c7g.medium)) / tests
Canceling since a higher priority waiting request for 'CI-refs/pull/381/merge' exists
|
|
Functional tests (ubuntu-latest (x86_64))
Canceling since a higher priority waiting request for 'CI-refs/pull/381/merge' exists
|