Skip to content
Snippets Groups Projects

fix build for Coq 8.10

Passed
Ralf Jung created pipeline for commit 9eb8cd13
, finished
For master
8 jobs 8 minutes 37 seconds, queued for 1 seconds