Rocq

Fix clang-format pre-commit error from #1437 #587

Sign in to view logs

Triggered via pull request December 23, 2025 22:22

opened #1454

jordancarlin:pre-commit

Status Success

Total duration 9m 34s

Artifacts –

rocq.yml

on: pull_request