Source: why Version: 2.40-3 User: debian-ci@lists.debian.org Usertags: issue Dear OCaml maintainers, The why source package has an autopkgtest, great. However, with upload of why3 version 1.0.0-1 the autopkgtest of why started to fail, delaying the migration of why3 to testing by 13 days. I tried to figure out what the issue is, but the test suite doesn't log anything at all, making it difficult to judge. Could you please improve the autopkgtest to produce debugging output? Preferably always, but in any case during failure? As you are also the maintainer of why3, please figure out where this regression should be fixed. Paul https://ci.debian.net/data/autopkgtest/testing/amd64/w/why/523013/log.gz autopkgtest [03:18:46]: test frama-c+jessie+alt-ergo: [----------------------- autopkgtest [03:18:47]: test frama-c+jessie+alt-ergo: -----------------------] autopkgtest [03:18:49]: test krakatoa+alt-ergo: [----------------------- autopkgtest [03:18:50]: test krakatoa+alt-ergo: -----------------------]
Attachment:
signature.asc
Description: OpenPGP digital signature