Skip to content
Snippets Groups Projects

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

Passed
Pierre Roux created pipeline for commit 888dbdc9
, finished
Related merge request !536 to merge coq_18224
merge request
2 jobs 5 minutes 1 second, queued for 2 seconds