Bench: Use PMU instead of PERF for x86_64 benchmarking #2713
hanno-beckerci.yml
on: pull_request
Matrix: quickcheck
Quickcheck windows-latest
7s
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
9 errors
|
Compiler tests (aarch64)
Canceling since a higher priority waiting request for 'CI-refs/pull/421/merge' exists
|
|
Quickcheck windows-latest
Canceling since a higher priority waiting request for 'CI-refs/pull/421/merge' exists
|
|
Quickcheck windows-latest
The operation was canceled.
|
|
Quickcheck (x86_64)
Canceling since a higher priority waiting request for 'CI-refs/pull/421/merge' exists
|
|
Quickcheck (x86_64)
The operation was canceled.
|
|
Quickcheck (aarch64)
Canceling since a higher priority waiting request for 'CI-refs/pull/421/merge' exists
|
|
Quickcheck (aarch64)
The operation was canceled.
|
|
Compiler tests (x86_64)
Canceling since a higher priority waiting request for 'CI-refs/pull/421/merge' exists
|
|
Linting (ubuntu-latest)
Canceling since a higher priority waiting request for 'CI-refs/pull/421/merge' exists
|