why3 [oracular/ppc64el]

Version 1.7.2-2
Triggers why3/1.7.2-2 camlbz2/0.8.0-2build1 camlpdf/2.7-2 camlzip/1.12-2build2 cudf/0.10-5 findlib/1.9.6-3build1 js-of-ocaml-ocamlbuild/5.0-2build5 lablgtk3/3.1.5-1build1 menhir/20231231+ds-2build1 morbig/0.11.0-3 morsmall/0.3.0-8build1 ocaml-afl-persistent/1.4-5build1 ocaml-cairo2/0.6.4+dfsg-4build1 ocaml-fpath/0.7.3-3build3 ocaml-luv/0.5.12-2build5 ocaml-num/1.5-1build1 ocaml-ptmap/2.0.5-4build3 ocaml-qtest/2.11.2-4build3 ocaml-re/1.11.0-1build3 ocaml-visitors/20210608-6build1 ocaml/5.2.0-2 ocplib-simplex/0.5.1-2build5 ppx-deriving-yojson/3.8.0-1build1 ppx-deriving/6.0.2-2build1
Env
Date 2024-08-14 18:57:08 UTC
Duration 0h 32m 59s
Requester -
Result pass
UUID 4554bd01-2c9b-4e73-8804-06554ffa932f
logartifacts