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

Bug#982148: marked as done (frama-c: autopkgtest failure: nothing logged)

Your message dated Fri, 12 Feb 2021 20:21:08 +0000
with message-id <E1lAew8-00093Q-Am@fasolo.debian.org>
and subject line Bug#982148: fixed in frama-c 20201209+titanium-4.1
has caused the Debian Bug report #982148,
regarding frama-c: autopkgtest failure: nothing logged
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)


-- 
982148: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=982148
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
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


--- End Message ---
--- Begin Message --- 
Source: frama-c
Source-Version: 20201209+titanium-4.1
Done: Gianfranco Costamagna <locutusofborg@debian.org>

We believe that the bug you reported is fixed in the latest version of
frama-c, which is due to be installed in the Debian FTP archive.

A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 982148@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Gianfranco Costamagna <locutusofborg@debian.org> (supplier of updated frama-c package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@ftp-master.debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Thu, 11 Feb 2021 23:09:31 +0100
Source: frama-c
Architecture: source
Version: 20201209+titanium-4.1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg@debian.org>
Closes: 982148
Changes:
 frama-c (20201209+titanium-4.1) unstable; urgency=medium
 .
   * Non-maintainer upload
   * Fix new eva test dependencies and return in case of error (Closes:
     #982148)
Checksums-Sha1:
 102a7284bf61c80d35b1171b0eeda2faceb03f0c 2375 frama-c_20201209+titanium-4.1.dsc
 4766c58c367ce356ad1bdfff6ee72eec8656fd43 16160 frama-c_20201209+titanium-4.1.debian.tar.xz
 1a87ac53e4a0b5c8a2642fac9d33bf59136d3991 8705 frama-c_20201209+titanium-4.1_source.buildinfo
Checksums-Sha256:
 d88bc2e3fbecb8b5495fa8ddb3eb9b8233bc99c3a7d700e7d463ffe4d22f1504 2375 frama-c_20201209+titanium-4.1.dsc
 c5c26956905f2c7f1d30158cabc7961e0ed3e19fe8789221f45612df63e7725c 16160 frama-c_20201209+titanium-4.1.debian.tar.xz
 a369609881b67807317773da86730b4f09f110488d5845565f78f0d96a3f12b9 8705 frama-c_20201209+titanium-4.1_source.buildinfo
Files:
 2130888c5bbbd23e51e966dda8de89a8 2375 devel optional frama-c_20201209+titanium-4.1.dsc
 de0d6c093823982c2dbe2b6ed822363d 16160 devel optional frama-c_20201209+titanium-4.1.debian.tar.xz
 5f9e1a1ad69506e7ba4d9ab26ec783b1 8705 devel optional frama-c_20201209+titanium-4.1_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmAm22UACgkQ808JdE6f
XdnsDBAAynagkidFXt9cCuWcx5YnIJkiPxQ4FnaHV+51rxcvJzwJgw2m3g5hzC+Y
fMBKeikwi2vLSw2wBC81KY+VQIhxOPA1nXP35x1xZXMl/MafBSmZndYslL/NuMAL
b0WP9LcZijxRcfbNPLml6EvkEQ6TybzULMsKhkCXPO0F2oUs7VoWbdcIsXgWzYhd
eol23NAnvGuLIz1WZVrBn2QAoEJ8SKB1obIvU18Rz16oXNGM8Ovva2Kt4YE90Ft0
qWE8eDf5S1zuxbBr187MUjTgkmOH5oUXeTHjlGTTMvEHLKr2n8A/7GeeEGiQkmOm
MD+R4R4DpKLQ8mh0zLvOTN7ifdm9XNB7pXRiYW3TbXJNkBu1a/qH102gZOPqoCSt
QZse5SJ/Jq+arUzMLV8JhVMxSV7CBg/0w2KpGOdRmKuxzaoGe0L0XcWE4HvWNc8d
RwuPJnwhQmqnsLxo8FlYcwW6EIY4qKaeBlNsCbMIqTcW3AKxETWcGpoSTgqpkWUF
AMq1qu/K8rq4FsIncSVY7byCafQqmqhab8bjro4Zsf+g6GcuCpDUBdDmIaDdIVqG
u9lDx4mfuEbkvuT2o7FitZdKW6DaM7Ld2tfK1zxlI98Rcy+3OBHgfwkvuiKsihBb
zWKxKs9vF99F6rckYbqBhrHwi/aogQ0fT7umPplE6i0/ZyshVBk=
=rZfl
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: