Debian PTS – Tracker – Changelog – Bugs – packages.d.o – buildd.d.o – Source
| Architecture | Version | Status | For | Buildd | State | Section | Logs | Actions |
|---|---|---|---|---|---|---|---|---|
 armhf ↓ | 1.0.3-1 | Build-Attempted | 529d 22h 24m | testbuildd | uncompiled | misc | old | all (6) | giveback |
Tail of log for cvc5 on armhf:
The following tests FAILED: 3226 - api/cpp/sep_log_api (Subprocess aborted) Errors while running CTest make[5]: *** [test/CMakeFiles/check.dir/build.make:73: test/CMakeFiles/check] Error 8 make[5]: Leaving directory '/<<PKGBUILDDIR>>/obj-arm-linux-gnueabihf' make[4]: *** [CMakeFiles/Makefile2:954: test/CMakeFiles/check.dir/all] Error 2 make[4]: Leaving directory '/<<PKGBUILDDIR>>/obj-arm-linux-gnueabihf' make[3]: *** [CMakeFiles/Makefile2:961: test/CMakeFiles/check.dir/rule] Error 2 make[3]: Leaving directory '/<<PKGBUILDDIR>>/obj-arm-linux-gnueabihf' make[2]: *** [Makefile:455: check] Error 2 make[2]: Leaving directory '/<<PKGBUILDDIR>>/obj-arm-linux-gnueabihf' make[1]: *** [debian/rules:32: override_dh_auto_test] Error 2 make[1]: Leaving directory '/<<PKGBUILDDIR>>' make: *** [debian/rules:18: build-arch] Error 2