Commit dd50c655 authored by Ralf Jung's avatar Ralf Jung

Merge branch 'ci/ralf/drop-coq-8.10' into 'master'

Require Coq 8.11 and fix some warnings

See merge request !3
parents 102189ac c4001d2a
Pipeline #33435 passed with stage
in 3 minutes and 59 seconds