Ubuntu Autopkgtest

why3 [oracular/ppc64el]

Version 1.6.0-1build7
Triggers glibc/2.39-3.1ubuntu3
Env
Date 2024-07-13 01:39:15 UTC
Duration 0h 11m 32s
Requester -
Result pass
UUID 6f86fdd5-5477-4e8c-af39-59f5b7c052a4
log   artifacts