Fix python files detection in format and lint scripts #3085
ci.yml
on: pull_request
Matrix: quickcheck
Quickcheck windows-latest
50s
Matrix: Linting
Matrix: quickcheck-c90
CBMC (ML-KEM-512)
/
Start instance (c7g.2xlarge)
1m 5s
CBMC (ML-KEM-768)
/
Start instance (c7g.2xlarge)
1m 26s
CBMC (ML-KEM-1024)
/
Start instance (c7g.2xlarge)
1m 3s
Matrix: build_kat
Matrix: compiler_tests
Matrix: Non-standard configurations
Matrix: ec2_functests
CBMC (ML-KEM-512)
/
Stop instance (c7g.2xlarge)
5s
CBMC (ML-KEM-768)
/
Stop instance (c7g.2xlarge)
4s
CBMC (ML-KEM-1024)
/
Stop instance (c7g.2xlarge)
4s
Annotations
3 errors and 18 warnings