Issues found in current buildd logs for coq-hierarchy-builder:
- I no-compiler-commands (amd64, arm64, i386, ppc64el)
Scanned logs (date is the date the log was generated, not the date it was scanned):
- amd64 1.4.0-6+b4 2023-09-22 07:49
- arm64 1.4.0-6+b4 2023-09-22 09:38
- i386 1.4.0-6+b4 2023-09-22 07:49
- ppc64el 1.4.0-6+b4 2023-09-22 08:59