Bug 819093

Summary:	[guru] dev-lang/lean-3.33.0 fails tests
Product:	GURU	Reporter:	Agostino Sarubbo <ago>
Component:	Package issues	Assignee:	Maciej Barć <xgqt>
Status:	RESOLVED FIXED
Severity:	normal	CC:	guru-bugs
Priority:	Normal
Version:	unspecified
Hardware:	All
OS:	Linux
Whiteboard:
Package list:		Runtime testing required:	---
Attachments:	build.log 1-LastTest.log.xz

Description Agostino Sarubbo gentoo-dev

2021-10-21 04:39:40 UTC

https://blogs.gentoo.org/ago/2020/07/04/gentoo-tinderbox/

Issue: dev-lang/lean-3.33.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

Comment 1 Agostino Sarubbo gentoo-dev

2021-10-21 04:39:43 UTC

Created attachment 745968 [details]
build.log

build log and emerge --info

Comment 2 Agostino Sarubbo gentoo-dev

2021-10-21 04:39:45 UTC

Created attachment 745971 [details]
1-LastTest.log.xz

1-LastTest.log (compressed because it exceeds attachment limit, use 'xzless' to read it)

Comment 3 Larry the Git Cow gentoo-dev

2021-10-25 11:56:28 UTC

The bug has been closed via the following commit(s):

https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=46c0040634fa9f05cd07f0871352c6e0ffddde5d

commit 46c0040634fa9f05cd07f0871352c6e0ffddde5d
Author:     Maciej Barć <xgqt@riseup.net>
AuthorDate: 2021-10-21 14:13:59 +0000
Commit:     Maciej Barć <xgqt@riseup.net>
CommitDate: 2021-10-21 14:14:04 +0000

    dev-lang/lean: exclude style_check test
    
    Closes: https://bugs.gentoo.org/819093
    Package-Manager: Portage-3.0.20, Repoman-3.0.3
    Signed-off-by: Maciej Barć <xgqt@riseup.net>

 dev-lang/lean/lean-3.33.0.ebuild | 9 +++++++++
 dev-lang/lean/lean-3.34.0.ebuild | 9 +++++++++
 2 files changed, 18 insertions(+)