Issues found in current buildd logs for coq-reduction-effects:
- I no-compiler-commands (amd64, arm64, armhf, hurd-i386, i386, loong64, ppc64, ppc64el, riscv64, s390x)
Scanned logs (date is the date the log was generated, not the date it was scanned):
- amd64 0.1.5-4+b1 2024-06-15 10:53
- arm64 0.1.5-4+b1 2024-06-15 11:01
- armhf 0.1.5-4+b2 2024-06-15 11:08
- hurd-i386 0.1.5-4+b1 2024-06-16 00:17
- i386 0.1.5-4+b1 2024-06-15 10:56
- loong64 0.1.5-4+b1 2024-06-15 12:31
- ppc64 0.1.5-4 2024-06-19 01:02
- ppc64el 0.1.5-4+b1 2024-06-15 10:54
- riscv64 0.1.5-4+b2 2024-06-15 11:09
- s390x 0.1.5-4+b2 2024-06-15 19:55