• frama-c: autopkgtest failure: nothing logged

    From Paul Gevers@21:1/5 to All on Sat Feb 6 22:20:02 2021
    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)