Benchmark Regression alert #2867
ci.yml
on: pull_request
Matrix: quickcheck
Quickcheck windows-latest
21s
Matrix: compiler_tests
Matrix: Linting
cbmc_k2
/
Start CBMC (MLKEM-512) (c7g.2xlarge)
1m 21s
cbmc_k3
/
Start CBMC (MLKEM-768) (c7g.2xlarge)
1m 22s
cbmc_k4
/
Start CBMC (MLKEM-1024) (c7g.2xlarge)
1m 0s
Matrix: build_kat
Matrix: Non-standard configurations
Matrix: ec2_functests
cbmc_k2
/
Stop CBMC (MLKEM-512) (c7g.2xlarge)
3s
cbmc_k3
/
Stop CBMC (MLKEM-768) (c7g.2xlarge)
7s
cbmc_k4
/
Stop CBMC (MLKEM-1024) (c7g.2xlarge)
6s