Rocq

Fix clang-format pre-commit error from #1437 (#1454) #589

Sign in to view logs

Triggered via push December 24, 2025 04:11

github-merge-queue[bot]

master

Status Success

Total duration 9m 37s

Artifacts –

rocq.yml

on: push