Syntactic checks

Split `ieee_floatt` into `ieee_float_valuet` and `ieee_floatt` #3093

Sign in to view logs

Triggered via pull request February 4, 2025 21:27

kroening

synchronize #8550

ieee_float_valuet

Status Success

Total duration 1m 31s

Artifacts –

syntax-checks.yaml

on: pull_request

check-clang-format