Skip to content
Snippets Groups Projects

Adapt to https://github.com/coq/coq/pull/18590

Passed
Pierre Roux created pipeline for commit d8427eec
, finished
Related merge request !537 to merge coq_18590
merge request
2 jobs 12 minutes 11 seconds, queued for 2 seconds