Issues found in current buildd logs for coq-corn:
Found 1 issues.Scanned logs (date is the date the log was generated, not the date it was scanned):
- amd64 8.19.0+ds1-2+b2 2024-11-20 16:33
- arm64 8.19.0+ds1-2+b1 2024-11-20 17:34
- ppc64el 8.19.0+ds1-2+b1 2024-11-20 17:18
- riscv64 8.19.0+ds1-2 2024-11-20 20:42
- s390x 8.19.0+ds1-2+b1 2024-11-21 10:12