Skip to content

bump to Coq 8.18

Ralf Jungrequested to merge
ci/8.18 into master

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

Merge request reports