clang-format Check

Incremental solving infrastructure #204

Sign in to view logs

Triggered via pull request August 23, 2024 23:08

wu-haoze

synchronize #831

wu-haoze:inc-marabou

Status Success

Total duration 3m 4s

Artifacts –

clang-format-check.yml

on: pull_request

Formatting Check