Skip to content

chore: format with prettier#1249

Merged
gares merged 2 commits into
rocq-prover:mainfrom
shilangyu:mw/prettier
May 25, 2026
Merged

chore: format with prettier#1249
gares merged 2 commits into
rocq-prover:mainfrom
shilangyu:mw/prettier

chore: format clients with prettier

467540d
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
build-extension (windows-latest)
succeeded May 24, 2026 in 1m 37s