Add copyright header to all files and add linting #2806
hanno-beckerci.yml
on: pull_request
Matrix: quickcheck
Quickcheck windows-latest
42s
Matrix: compiler_tests
Matrix: Linting
cbmc_k2
/
Start CBMC (MLKEM-512) (c7g.2xlarge)
1m 11s
cbmc_k4
/
Start CBMC (MLKEM-1024) (c7g.2xlarge)
1m 1s
Matrix: build_kat
Matrix: Non-standard configurations
Matrix: ec2_functests
cbmc_k2
/
Stop CBMC (MLKEM-512) (c7g.2xlarge)
8s
cbmc_k3
/
Stop CBMC (MLKEM-768) (c7g.2xlarge)
4s
cbmc_k4
/
Stop CBMC (MLKEM-1024) (c7g.2xlarge)
6s
Annotations
4 errors
|
cbmc_k4 / tests
Canceling since a higher priority waiting request for 'CI-refs/pull/440/merge' exists
|
|
cbmc_k4 / Stop CBMC (MLKEM-1024) (c7g.2xlarge)
AWS EC2 instance i-03dfca2f36981bfe7 termination error
|
|
cbmc_k4 / Stop CBMC (MLKEM-1024) (c7g.2xlarge)
InvalidInstanceID.NotFound: The instance ID 'i-03dfca2f36981bfe7' does not exist
|
|
cbmc_k4 / Stop CBMC (MLKEM-1024) (c7g.2xlarge)
The instance ID 'i-03dfca2f36981bfe7' does not exist
|