Skip to content
Snippets Groups Projects

bump CI to Coq 8.20 (but that has warnings)

Failed
Ralf Jung created pipeline for commit 16b36a17
, finished
For master
branch
1 job 54 seconds, queued for 2 seconds