Ubuntu Autopkgtest

why3 [oracular/armhf]

Version 1.6.0-1build7
Triggers sphinx/7.2.6-7
Env
Date 2024-05-16 04:40:10 UTC
Duration 0h 13m 10s
Requester -
Result pass
UUID 1f58a893-5d76-4903-99c5-6fc92ee1b06d
log   artifacts