Skip to content
Snippets Groups Projects

Bump Coq version of CI.

Failed
Robbert Krebbers created pipeline for commit c05ce971
, finished
For master
1 job 7 minutes 16 seconds, queued for 1 seconds