Skip to content

Use Coq 8.10.1 for CI

Robbert Krebbers requested to merge robbert/coq8.10.1 into master

CC @jung

Merge request reports