https://blogs.gentoo.org/ago/2020/07/04/gentoo-tinderbox/ Issue: app-emacs/idris-mode-1.0 fails tests. Discovered on: amd64 (internal ref: guru_ci) NOTE: This machine uses GCC-11: https://gcc.gnu.org/gcc-11/porting_to.html
Created attachment 717222 [details] build.log build log and emerge --info
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=6ea474d30038c1cb8d45f0a7edd2c3db75160f61 commit 6ea474d30038c1cb8d45f0a7edd2c3db75160f61 Author: Matt Smith <matt@offtopica.uk> AuthorDate: 2021-06-20 17:01:38 +0000 Commit: Matt Smith <matt@offtopica.uk> CommitDate: 2021-06-20 17:01:38 +0000 app-emacs/idris-mode: Disable tests Tests require Idris, which is not yet packaged. Also fix the tarball name. Closes: https://bugs.gentoo.org/796971 Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Matt Smith <matt@offtopica.uk> app-emacs/idris-mode/Manifest | 2 +- app-emacs/idris-mode/idris-mode-1.0.ebuild | 6 ++++-- app-emacs/idris-mode/idris-mode-9999.ebuild | 6 ++++-- 3 files changed, 9 insertions(+), 5 deletions(-)
