Source: frama-c Version: 20201209+titanium-4 X-Debbugs-CC: debian...@lists.debian.org Severity: serious User: debian...@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
OpenPGP_signature
Description: OpenPGP digital signature