Skip to content

bump Coq

Ralf Jungrequested to merge
ci/coq into master

Let's see if this passes.

Merge request reports