Syntactic checks

Remove infinity_exprt #2778

Sign in to view logs

Triggered via pull request September 24, 2024 14:14

tautschnig

synchronize #8469

tautschnig:remove-infinity

Status Failure

Total duration 1m 42s

Artifacts –

syntax-checks.yaml

on: pull_request

check-clang-format

Annotations

1 error

check-cpplint

Process completed with exit code 1.