Skip to content
CI

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

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 #2715

Triggered via pull request November 17, 2024 19:57
@hanno-beckerhanno-becker
synchronize #421
bench_ec2_pmu
Status Failure
Total duration 21m 0s
Billable time 35m
Artifacts –

ci.yml

on: pull_request
Matrix: quickcheck
Quickcheck windows-latest
21s
Quickcheck windows-latest
Matrix: compiler_tests
Matrix: Linting
cbmc_k2  /  Start CBMC (MLKEM-512) (c7g.2xlarge)
1m 11s
cbmc_k2 / Start CBMC (MLKEM-512) (c7g.2xlarge)
cbmc_k3  /  Start CBMC (MLKEM-768) (c7g.2xlarge)
1m 12s
cbmc_k3 / Start CBMC (MLKEM-768) (c7g.2xlarge)
cbmc_k4  /  Start CBMC (MLKEM-1024) (c7g.2xlarge)
1m 5s
cbmc_k4 / Start CBMC (MLKEM-1024) (c7g.2xlarge)
Matrix: build_kat
Matrix: ec2_functests
cbmc_k2  /  tests
8m 18s
cbmc_k2 / tests
cbmc_k3  /  tests
8m 44s
cbmc_k3 / tests
cbmc_k4  /  tests
8m 40s
cbmc_k4 / tests
cbmc_k2  /  Stop CBMC (MLKEM-512) (c7g.2xlarge)
12s
cbmc_k2 / Stop CBMC (MLKEM-512) (c7g.2xlarge)
cbmc_k3  /  Stop CBMC (MLKEM-768) (c7g.2xlarge)
3s
cbmc_k3 / Stop CBMC (MLKEM-768) (c7g.2xlarge)
cbmc_k4  /  Stop CBMC (MLKEM-1024) (c7g.2xlarge)
3s
cbmc_k4 / Stop CBMC (MLKEM-1024) (c7g.2xlarge)
Fit to window
Zoom out
Zoom in

Annotations

6 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.