Syntactic checks

add @peterschrammel as code owner to /src/solvers/floatbv #3091

Sign in to view logs

Triggered via pull request February 4, 2025 16:27

kroening

opened #8580

floatbv-codeowners

Status Success

Total duration 1m 28s

Artifacts –

syntax-checks.yaml

on: pull_request

check-clang-format