Syntactic checks

test with signed ranking function #810

Sign in to view logs

Triggered via pull request May 20, 2024 15:27

kroening

opened #516

signed1

Status Success

Total duration 1m 4s

Artifacts –

syntax-checks.yaml

on: pull_request

check-clang-format