Skip to content

bump to Coq 8.18

Ralf Jung requested to merge ci/8.18 into master

Let's see if this works and what we get in terms of warnings.

Merge request reports