Bug 940574

Summary:	sci-mathematics/vampire-4.9 fails tests: 3 - UnificationWithAbstraction (Failed)
Product:	Gentoo Linux	Reporter:	Agostino Sarubbo <ago>
Component:	Current packages	Assignee:	Gentoo Science Mathematics related packages <sci-mathematics>
Status:	CONFIRMED ---
Severity:	normal	CC:	xgqt
Priority:	Normal	Keywords:	TESTFAILURE
Version:	unspecified
Hardware:	All
OS:	Linux
Whiteboard:
Package list:		Runtime testing required:	---
Attachments:	build.log 1-LastTest.log

Description Agostino Sarubbo gentoo-dev

2024-10-01 06:43:43 UTC

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

Issue: sci-mathematics/vampire-4.9 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-10-01 06:43:45 UTC

Created attachment 904422 [details]
build.log

build log and emerge --info

Comment 2 Agostino Sarubbo gentoo-dev

2024-10-01 06:43:46 UTC

Created attachment 904423 [details]
1-LastTest.log

1-LastTest.log

Comment 3 Agostino Sarubbo gentoo-dev

2024-10-01 06:43:46 UTC

Error(s) that match a know pattern in addition to what has been reported in the summary:


	  3 - UnificationWithAbstraction (Failed)
fatal: not a git repository (or any parent up to mount point /var/tmp)
The following tests FAILED: