Skip to content
Prettier checks

Replace Coq by Rocq #131

Sign in to view logs

Replace Coq by Rocq

Replace Coq by Rocq #131

Re-run triggered December 30, 2025 09:41
@drupoldrupol
#398
Arthur-Milchior:coq
Status Success
Total duration 40s
Artifacts –

prettier-checks.yaml

on: pull_request
prettier
35s
prettier
Fit to window
Zoom out
Zoom in