Issues found in current buildd logs for coq-hott:
Found 1 issues.Scanned logs (date is the date the log was generated, not the date it was scanned):
- amd64 8.18-3+b1 2024-03-19 18:42
- arm64 8.18-3+b1 2024-03-19 18:47
- armhf 8.18-3+b1 2024-03-26 15:25
- hurd-i386 8.18-3+b1 2024-03-19 19:20
- i386 8.18-3+b1 2024-03-19 18:43
- loong64 8.18-3 2024-04-16 16:46
- ppc64el 8.18-3+b1 2024-03-19 18:39
- riscv64 8.18-3+b1 2024-04-11 02:28
- s390x 8.18-3+b1 2024-03-19 20:58