Skip to content
Snippets Groups Projects

Fix by @mattam82 for https://github.com/coq/coq/pull/13952#issuecomment-804943880

Passed
Robbert Krebbers created pipeline for commit c1266011
, finished
For master
5 jobs 8 minutes 47 seconds, queued for 2 seconds