Skip to content
Snippets Groups Projects

Fixed error in classic

Failed
created pipeline for commit 224fa258
, finished
1 related merge request: !104 Support mathcomp 1.11.0 and Coq 8.12
14 jobs 3 minutes 52 seconds, queued for 5 seconds