Skip to content
Snippets Groups Projects

Coq 8.10 compat.

Passed
Robbert Krebbers created pipeline for commit b3e550a1
, finished
For master
6 jobs 10 minutes 1 second, queued for 0 seconds