Raspbian Package Auto-Building

Buildd status for cvc5 (bookworm-staging)

Debian PTSTrackerChangelogBugspackages.d.obuildd.d.oSource

Package(s): Suite:
Compact mode Co-maintainers

ArchitectureVersionStatusForBuilddStateSectionLogsActions
Buildd exposure stats armhf  1.0.3-1Build-Attempted568d 20h 9mtestbuildduncompiledmiscold | 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