Issues found in current buildd logs for coq-hierarchy-builder:

Found 1 issues.

Scanned logs (date is the date the log was generated, not the date it was scanned):