Skip to content
Snippets Groups Projects

make coq-lint nix-compatible

Passed
Ralf Jung created pipeline for commit 39860d00
, finished
For master
branch
4 jobs 7 minutes 4 seconds, queued for 3 seconds