Bug 927225

Summary:	dev-lang/dafny-4.5.0 fails tests
Product:	Gentoo Linux	Reporter:	Agostino Sarubbo <ago>
Component:	Current packages	Assignee:	dotnet project <dotnet>
Status:	RESOLVED FIXED
Severity:	normal	CC:	xgqt
Priority:	Normal	Keywords:	TESTFAILURE
Version:	unspecified
Hardware:	All
OS:	Linux
Whiteboard:
Package list:		Runtime testing required:	---
Attachments:	build.log

Description Agostino Sarubbo gentoo-dev

2024-03-18 06:13:59 UTC

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

Issue: dev-lang/dafny-4.5.0 fails tests.
Discovered on: amd64 (internal ref: ci)

Info about the issue:
https://wiki.gentoo.org/wiki/Project:Tinderbox/Common_Issues_Helper#CF0015

Comment 1 Agostino Sarubbo gentoo-dev

2024-03-18 06:14:01 UTC

Created attachment 887863 [details]
build.log

build log and emerge --info

Comment 2 Larry the Git Cow gentoo-dev

2024-03-18 08:29:02 UTC

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

https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7edf7022594debb9d299d771d1b6902b1d555c64

commit 7edf7022594debb9d299d771d1b6902b1d555c64
Author:     Maciej Barć <xgqt@gentoo.org>
AuthorDate: 2024-03-18 08:26:12 +0000
Commit:     Maciej Barć <xgqt@gentoo.org>
CommitDate: 2024-03-18 08:28:59 +0000

    dev-lang/dafny: add missing psutil test dependency
    
    Closes: https://bugs.gentoo.org/927225
    Signed-off-by: Maciej Barć <xgqt@gentoo.org>

 dev-lang/dafny/dafny-4.5.0.ebuild | 1 +
 1 file changed, 1 insertion(+)