Ubuntu Autopkgtest Results - why3/oracular/armhf

why3 [oracular/armhf]

Version	1.6.0-1build8
Triggers	glib2.0/2.81.1-2ubuntu1
Env
Date	2024-08-03 11:09:42 UTC
Duration	1h 06m 47s
Requester	-
Result	fail
UUID	d3688e10-1201-4444-8500-087efe8eba43
	log artifacts ♻