Add riscv64 toolchain support #2887
potsrevennilci.yml
on: pull_request
Matrix: quickcheck
Quickcheck windows-latest
25s
Matrix: compiler_tests
Matrix: Linting
Matrix: build_kat
Matrix: Non-standard configurations
Matrix: ec2_functests
Waiting for pending jobs
cbmc_k2
/
stop-ec2-runner
cbmc_k3
/
stop-ec2-runner
cbmc_k4
/
stop-ec2-runner
Annotations
6 errors
|
Compiler tests (x86_64)
Canceling since a higher priority waiting request for 'CI-refs/pull/449/merge' exists
|
|
Quickcheck (x86_64)
Canceling since a higher priority waiting request for 'CI-refs/pull/449/merge' exists
|
|
Quickcheck (x86_64)
The operation was canceled.
|
|
Linting (ubuntu-latest)
Canceling since a higher priority waiting request for 'CI-refs/pull/449/merge' exists
|
|
Compiler tests (aarch64)
Canceling since a higher priority waiting request for 'CI-refs/pull/449/merge' exists
|
|
Quickcheck (aarch64)
Canceling since a higher priority waiting request for 'CI-refs/pull/449/merge' exists
|