Add riscv64 toolchain support #2888
ci.yml
on: pull_request
Matrix: quickcheck
Quickcheck windows-latest
28s
Matrix: compiler_tests
Matrix: Linting
cbmc_k3
/
Start CBMC (MLKEM-768) (c7g.2xlarge)
1m 10s
cbmc_k4
/
Start CBMC (MLKEM-1024) (c7g.2xlarge)
1m 11s
Matrix: build_kat
Matrix: Non-standard configurations
Matrix: ec2_functests
cbmc_k2
/
Stop CBMC (MLKEM-512) (c7g.2xlarge)
6s
cbmc_k3
/
Stop CBMC (MLKEM-768) (c7g.2xlarge)
7s
cbmc_k4
/
Stop CBMC (MLKEM-1024) (c7g.2xlarge)
3s
Annotations
2 errors
Functional tests (ubuntu-latest (x86_64))
Process completed with exit code 1.
|
Functional tests (ubuntu-latest (aarch64))
Process completed with exit code 1.
|