Skip to content
Bench

Prevent clang-format from formatting CBMC contracts on functions #581

Sign in to view logs

Prevent clang-format from formatting CBMC contracts on functions

Prevent clang-format from formatting CBMC contracts on functions #581

Triggered via pull request October 18, 2024 17:57
@hanno-beckerhanno-becker
labeled #258
no_format_function_contracts
Status Failure
Total duration 7m 4s
Artifacts –

bench.yml

on: pull_request
Matrix: bench
Matrix: ec2_all
Fit to window
Zoom out
Zoom in

Annotations

9 errors
Graviton4 opt / Start Graviton4 (c8g.medium)
AWS EC2 instance starting error
Graviton4 opt / Start Graviton4 (c8g.medium)
RequestLimitExceeded: Request limit exceeded.
Graviton4 opt / Start Graviton4 (c8g.medium)
Request limit exceeded.
Graviton4 opt / Stop Graviton4 (c8g.medium)
Error: Not all the required inputs are provided for the 'stop' mode
Graviton4 opt / Stop Graviton4 (c8g.medium)
Not all the required inputs are provided for the 'stop' mode
Graviton4 opt / Stop Graviton4 (c8g.medium)
TypeError: Cannot read properties of undefined (reading 'mode')
Graviton4 opt / Stop Graviton4 (c8g.medium)
Cannot read properties of undefined (reading 'mode')
AMD EPYC 4th gen (c7a) non-opt / Start AMD EPYC 4th gen (c7a) (c7a.medium)
GitHub self-hosted runner registration error
AMD EPYC 4th gen (c7a) non-opt / Start AMD EPYC 4th gen (c7a) (c7a.medium)
A timeout of 5 minutes is exceeded. Your AWS EC2 instance was not able to register itself in GitHub as a new self-hosted runner.