Syntactic checks

introduce `property_checker_resultt` #1169

Sign in to view logs

Triggered via pull request August 30, 2024 17:25

kroening

synchronize #651

property_checker_resultt

Status Success

Total duration 1m 18s

Artifacts –

syntax-checks.yaml

on: pull_request

check-clang-format