Skip to content
Back to pull request #7964

Use goto-analyzer to add assumptions, assertions and code contracts #2041

Sign in to view logs

Use goto-analyzer to add assumptions, assertions and code contracts

Use goto-analyzer to add assumptions, assertions and code contracts #2041

Triggered via pull request February 2, 2024 20:24
@martin-csmartin-cs
synchronize #7964
martin-cs:feature/goto-analyzer-instrument-task
Status Failure
Total duration 1m 24s
Artifacts –

syntax-checks.yaml

on: pull_request
check-clang-format
51s
check-clang-format
check-cpplint
1m 12s
check-cpplint
check-rustfmt
6s
check-rustfmt
Fit to window
Zoom out
Zoom in

Annotations

1 error
check-cpplint
Process completed with exit code 1.