Skip to content
Snippets Groups Projects

remove Makefile.coq.patch hack

Passed
Björn Brandenburg created pipeline for commit e98ea653
, finished
For master
branch
10 jobs 8 minutes 47 seconds, queued for 3 seconds