Skip to content
CI

Bench: Use PMU instead of PERF for x86_64 benchmarking #2709

Sign in to view logs

Bench: Use PMU instead of PERF for x86_64 benchmarking

Bench: Use PMU instead of PERF for x86_64 benchmarking #2709

Triggered via pull request November 17, 2024 19:19
@hanno-beckerhanno-becker
opened #421
bench_ec2_pmu
Status Cancelled
Total duration 10m 34s
Artifacts –

ci.yml

on: pull_request
Matrix: quickcheck
Quickcheck windows-latest
42s
Quickcheck windows-latest
Matrix: compiler_tests
Matrix: Linting
cbmc_k2  /  start-ec2-runner
cbmc_k2 / start-ec2-runner
cbmc_k3  /  start-ec2-runner
cbmc_k3 / start-ec2-runner
cbmc_k4  /  start-ec2-runner
cbmc_k4 / start-ec2-runner
Matrix: build_kat
Matrix: ec2_functests
Waiting for pending jobs
cbmc_k2  /  tests
cbmc_k2 / tests
cbmc_k3  /  tests
cbmc_k3 / tests
cbmc_k4  /  tests
cbmc_k4 / tests
cbmc_k2  /  stop-ec2-runner
cbmc_k2 / stop-ec2-runner
cbmc_k3  /  stop-ec2-runner
cbmc_k3 / stop-ec2-runner
cbmc_k4  /  stop-ec2-runner
cbmc_k4 / stop-ec2-runner
Fit to window
Zoom out
Zoom in

Annotations

8 errors
Format error: test/hal/hal.c#L46
test/hal/hal.c require to be formatted
Format error: test/hal/hal.c#L46
test/hal/hal.c require to be formatted
Format error: test/hal/hal.c#L47
test/hal/hal.c require to be formatted
Format error: test/hal/hal.c#L47
test/hal/hal.c require to be formatted
Format error: test/hal/hal.c#L47
test/hal/hal.c require to be formatted
Linting (ubuntu-latest)
Process completed with exit code 1.
Quickcheck (aarch64)
Canceling since a higher priority waiting request for 'CI-refs/pull/421/merge' exists
Compiler tests (aarch64)
Canceling since a higher priority waiting request for 'CI-refs/pull/421/merge' exists