Skip to content
Lint

Fix local nix + coq tests (#359) #349

Sign in to view logs

Fix local nix + coq tests (#359)

Fix local nix + coq tests (#359) #349

Triggered via push June 2, 2024 14:34
@whonorewhonore
pushed d77080e
main
Status Success
Total duration 40s
Artifacts –

lint.yml

on: push
lint
30s
lint
Fit to window
Zoom out
Zoom in