Check cpp formatting

Simplifying infeasibility analyzer #141

Sign in to view logs

Summary
Jobs
- clang-format
Run details
- Usage
- Workflow file

Triggered via push July 2, 2024 15:40

fix/simplifying-infeasibility-analyzer

Status Failure

Total duration 17s

Artifacts –

clang-format.yml

on: push

Annotations

1 error

clang-format

Process completed with exit code 1.