Bug 914372

Summary:	dev-lang/dafny-4.2.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

2023-09-18 06:52:56 UTC

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

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

Comment 1 Agostino Sarubbo gentoo-dev

2023-09-18 06:52:59 UTC

Created attachment 870835 [details]
build.log

build log and emerge --info

Comment 2 Larry the Git Cow gentoo-dev

2023-09-18 15:00:31 UTC

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

https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=418e2b38c1d8353a346468a267d7adf2d8dbd656

commit 418e2b38c1d8353a346468a267d7adf2d8dbd656
Author:     Maciej Barć <xgqt@gentoo.org>
AuthorDate: 2023-09-18 07:18:44 +0000
Commit:     Maciej Barć <xgqt@gentoo.org>
CommitDate: 2023-09-18 15:00:28 +0000

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

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