Ubuntu Autopkgtest

why3 [oracular/ppc64el]

Version 1.6.0-1build7
Triggers glibc/2.39-0ubuntu8.1
Env
Date 2024-05-06 19:11:13 UTC
Duration 0h 15m 46s
Requester jbicha
Result pass
UUID 9341a869-ed34-4079-8129-42d32feeb480
log   artifacts