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
Created attachment 745968 [details] build.log build log and emerge --info
Created attachment 745971 [details] 1-LastTest.log.xz 1-LastTest.log (compressed because it exceeds attachment limit, use 'xzless' to read it)
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(+)
