Skip to content
Snippets Groups Projects

Use Coq 8.14.0

Failed
Yusuke Matsushita created pipeline for commit 975d1677
, finished
12 minutes 27 seconds, queued for 951 seconds