Skip to content

bump Coq

Ralf Jung requested to merge ci/coq into master

Let's see if this passes.

Merge request reports