Skip to content
Snippets Groups Projects

fix build on old Coq

Failed
Ralf Jung created pipeline for commit 39713291
, finished
For master
4 jobs 15 minutes 19 seconds, queued for 1 seconds