CBMC: More minor clean-up #2544
mkannwischerci.yml
on: pull_request
Matrix: quickcheck
Matrix: compiler_tests
Matrix: Linting
Matrix: build_kat
Matrix: ec2_functests
Waiting for pending jobs
cbmc_k2
/
stop-ec2-runner
cbmc_k3
/
stop-ec2-runner
cbmc_k4
/
stop-ec2-runner
Annotations
4 errors
|
Linting (ubuntu-latest)
Canceling since a higher priority waiting request for 'CI-refs/pull/381/merge' exists
|
|
Compiler tests (aarch64)
Canceling since a higher priority waiting request for 'CI-refs/pull/381/merge' exists
|
|
Compiler tests (x86_64)
Canceling since a higher priority waiting request for 'CI-refs/pull/381/merge' exists
|
|
Quickcheck (aarch64)
Canceling since a higher priority waiting request for 'CI-refs/pull/381/merge' exists
|