[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#982148: frama-c: autopkgtest failure: nothing logged



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

Attachment: OpenPGP_signature
Description: OpenPGP digital signature


Reply to: