Skip to content
Nix formatter 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 28s
Artifacts –

nix-fmt-checks.yaml

on: pull_request
format-check
23s
format-check
Fit to window
Zoom out
Zoom in