Syntactic checks

KNOWNBUG test for SMV's `process` #3515

Sign in to view logs

Triggered via pull request December 10, 2025 16:03

kroening

opened #1469

process1

Status Success

Total duration 1m 31s

Artifacts –

syntax-checks.yaml

on: pull_request

check-clang-format