Skip to content
Snippets Groups Projects

Merge branch 'robbert/coq_12512' into 'master'

Failed
Robbert Krebbers created pipeline for commit 2f5854bd
, finished
For master
6 jobs 10 minutes 37 seconds, queued for 0 seconds