Skip to content
Snippets Groups Projects

still allow compilation with mathcomp 1.10.0 & Coq 8.11

Canceled
Björn Brandenburg created pipeline for commit 30d8f275
, finished
For master
branch
14 jobs 2 minutes 31 seconds, queued for 6 seconds