XPost: linux.debian.bugs.dist
This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --g65sEM7M2kduZqEDhq77Yu9jTPvmevSvq
Content-Type: text/plain; charset=utf-8
Content-Language: en-US
Content-Transfer-Encoding: quoted-printable
Source: frama-c
Version: 20201209+titanium-4
X-Debbugs-CC:
debian-ci@lists.debian.org
Severity: serious
User:
debian-ci@lists.debian.org
Usertags: fails-always
Dear maintainer(s),
You recently added an autopkgtest to your package frama-c, great.
However, it fails. Currently this failure is blocking the migration to
testing [1]. Can you please investigate the situation and fix it?
I copied some of the output at the bottom of this report. Unfortunately, there's not much to see.
I also read the last changelog. Please reconsider using
skip-not-installable and maybe favor the new Architecture field, as skip-not-installable also hides genuine issues.
More information about this bug and the reason for filing it can be found on
https://wiki.debian.org/ContinuousIntegration/RegressionEmailInformation
Paul
[1]
https://qa.debian.org/excuses.php?package=frama-c
https://ci.debian.net/data/autopkgtest/testing/amd64/f/frama-c/9622788/log.gz
autopkgtest [04:30:15]: test eva: [-----------------------
autopkgtest [04:30:16]: test eva: -----------------------]
autopkgtest [04:30:16]: test eva: - - - - - - - - - - results - - - - -
- - - - -
eva FAIL non-zero exit status 1
--g65sEM7M2kduZqEDhq77Yu9jTPvmevSvq--
-----BEGIN PGP SIGNATURE-----
wsB5BAABCAAjFiEEWLZtSHNr6TsFLeZynFyZ6wW9dQoFAmAfBuoFAwAAAAAACgkQnFyZ6wW9dQp+ iwgAjJD1haV0F9wFJyjWT96GwHjcp0VOpZHujBBx90ESMB3Ww6h2G6nQAbtY+waC4fLJy2AKdyGX pmdyYOK/iLJOASo9yNnhdSZ3jZi4IkGaXoalpBgWXRCFJeXRZGysyqHYyhVESqIkQ36XTnRu4qvc gKKSbxG2lqiy8DGpmeoLi0KYvpgm4iWa1VycCzesjPjARc+yz8uxzO0DGI5iLmkxE2r+e1/Vc08Y yfuXd2TUPQ0ath4qwk7893xohNpXirpM3JwmKLwpcOJqX+F97qbhn/Yp8N+AFWIb+m8er70daqbl 13OgNmyxza/5jRawgvGqyg6OrjjVQBhttexR0XmX3A==
=SuN9
-----END PGP SIGNATURE-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)