927225 – dev-lang/dafny-4.5.0 fails tests

Bug 927225 - dev-lang/dafny-4.5.0 fails tests

Summary: dev-lang/dafny-4.5.0 fails tests

Status:	RESOLVED FIXED

Alias:	None

Product:	Gentoo Linux
Classification:	Unclassified
Component:	Current packages (show other bugs)
Hardware:	All Linux

Importance:	Normal normal (vote)
Assignee:	dotnet project

URL:
Whiteboard:
Keywords:	TESTFAILURE

Depends on:
Blocks:

Reported:	2024-03-18 06:13 UTC by Agostino Sarubbo
Modified:	2024-03-18 08:29 UTC (History)
CC List:	1 user (show)

See Also:
Package list:
Runtime testing required:	---

Attachments
build.log (build.log,75.64 KB, text/plain) 2024-03-18 06:14 UTC, Agostino Sarubbo	Details
View All Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.

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(+)