Ubuntu Autopkgtest Results - why3/oracular/arm64

why3 [oracular/arm64]

Version	1.6.0-1build8
Triggers	glib2.0/2.82.0-1
Env
Date	2024-08-26 22:33:49 UTC
Duration	0h 21m 31s
Requester	-
Result	pass
UUID	0116b82e-9e35-49d8-a195-418051a48dab
	log artifacts