why3 [oracular/ppc64el]
| Version | Triggers | Env | Date | Duration | Requester | Result | UUID | ||
| 1.7.2-2build1 | why3/1.7.2-2build1 camlbz2/0.8.0-2build1 camlpdf/2.7.1-1 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/20240715+ds-1 morbig/0.11.0-3 morsmall/0.3.0-8build2 ocaml-afl-persistent/1.4-5build1 ocaml-cairo2/0.6.4+dfsg-4build1 ocaml-fpath/0.7.3-3build3 ocaml-luv/0.5.12-2build6 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-6build2 ocaml/5.2.0-3 ocplib-simplex/0.5.1-2build5 opam/2.2.1-1 ppx-deriving-yojson/3.9.0-1build1 ppx-deriving/6.0.2-2build2 | 2024-09-06 18:12:10 UTC | 0h 06m 56s | - | pass | 63699d0c-29da-4c1b-b92a-92cbded0e69b | log artifacts | ||
| 1.6.0-1build8 | cairo/1.18.2-1 | 2024-09-06 15:06:10 UTC | 0h 10m 40s | - | pass | 2156ff25-833c-4153-8413-f22f39b97a5d | log artifacts | ||
| 1.6.0-1build8 | ocaml/5.2.0-3 findlib/1.9.6-3build1 ocaml-fpath/0.7.3-3build3 ocaml-visitors/20210608-6build1 ppx-deriving-yojson/3.9.0-1 ppx-deriving/6.0.2-2build1 | 2024-09-03 21:11:28 UTC | 0h 14m 09s | - | pass | 226d1ee5-8e0b-4557-8ad7-e7d48fa143d8 | log artifacts | ||
| 1.6.0-1build8 | gtk+3.0/3.24.43-3ubuntu2 | 2024-08-31 00:48:06 UTC | 0h 17m 12s | - | pass | d79809c5-98c4-4162-b38e-e2d7e588f9d3 | log artifacts | ||
| 1.6.0-1build8 | pango1.0/1.54.0+ds-2 | 2024-08-30 03:14:47 UTC | 0h 10m 15s | - | pass | 4a32e323-971a-47fe-8c5b-5b4472a9dcf0 | log artifacts | ||
| 1.6.0-1build8 | glib2.0/2.82.0-1 | 2024-08-26 21:48:46 UTC | 0h 14m 21s | - | pass | adf5d2a2-d1f6-42f1-b928-9363bce33116 | log artifacts | ||
| 1.6.0-1build8 | sphinx/7.4.7-3 | 2024-08-26 12:07:04 UTC | 0h 15m 09s | - | pass | fe2f5cad-41ba-4d89-b32c-23f1ace57138 | log artifacts | ||
| 1.6.0-1build8 | gtksourceview3/3.24.11-3 | 2024-08-23 12:07:28 UTC | 0h 11m 23s | - | pass | eabeb78c-197d-4515-8ed6-976c2551c054 | log artifacts | ||
| 1.6.0-1build8 | menhir/20240715+ds-1 camlbz2/0.8.0-2build1 camlpdf/2.7.1-1 camlzip/1.12-2build2 cudf/0.10-5 findlib/1.9.6-3build1 js-of-ocaml-ocamlbuild/5.0-2build5 morbig/0.11.0-3 morsmall/0.3.0-8build1 ocaml-afl-persistent/1.4-5build1 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.9.0-1 ppx-deriving/6.0.2-2build1 | 2024-08-21 08:38:16 UTC | 0h 07m 51s | - | pass | 8b77e119-5ccb-410f-a540-92f778f924e8 | log artifacts | ||
| 1.6.0-1build8 | glib2.0/2.81.2-1 util-linux/2.40.2-1ubuntu1 | 2024-08-20 16:16:39 UTC | 0h 12m 34s | - | pass | 4c2a38f2-6e8c-4979-9721-efbeacf366c6 | log artifacts | ||
| 1.7.2-2 | 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 | 2024-08-14 18:57:08 UTC | 0h 32m 59s | - | pass | 4554bd01-2c9b-4e73-8804-06554ffa932f | log artifacts | ||
| 1.6.0-1build8 | ocaml-cairo2/0.6.4+dfsg-4build1 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 menhir/20231231+ds-2build1 morbig/0.11.0-3 morsmall/0.3.0-8build1 ocaml-afl-persistent/1.4-5build1 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 | 2024-08-14 18:14:58 UTC | 1h 02m 14s | - | pass | 59dd8292-fe57-46b0-9190-38c775ed99fd | log artifacts | ||
| 1.6.0-1build8 | lablgtk3/3.1.5-1build1 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 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 | 2024-08-14 18:09:29 UTC | 1h 07m 04s | - | pass | 89c64921-0ec1-4bee-aa4d-5b6c76875785 | log artifacts | ||
| 1.6.0-1build8 | camlzip/1.12-2build2 camlbz2/0.8.0-2build1 camlpdf/2.7-2 cudf/0.10-5 findlib/1.9.6-3build1 js-of-ocaml-ocamlbuild/5.0-2build5 menhir/20231231+ds-2build1 morbig/0.11.0-3 morsmall/0.3.0-8build1 ocaml-afl-persistent/1.4-5build1 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 | 2024-08-14 17:00:21 UTC | 0h 55m 18s | - | pass | 6fe3f880-b2e3-4a6e-b16d-f3e95b29f1d3 | log artifacts | ||
| 1.6.0-1build8 | zlib/1:1.3.dfsg+really1.3.1-1ubuntu1 | 2024-08-13 16:40:29 UTC | 0h 31m 04s | - | pass | afae0acd-2f4e-4c5b-8628-3dd143f7024b | log artifacts | ||
| 1.6.0-1build8 | glib2.0/2.81.1-3 | 2024-08-10 02:35:54 UTC | 0h 26m 17s | - | pass | 8843ed37-14f5-4ed7-9ad4-e04e1e90ce20 | log artifacts | ||
| 1.6.0-1build8 | menhir/20231231+ds-2build1 camlbz2/0.8.0-2build1 camlpdf/2.7-1build1 camlzip/1.12-2build1 cudf/0.10-5 findlib/1.9.6-3build1 js-of-ocaml-ocamlbuild/5.0-2build5 morbig/0.11.0-2build1 morsmall/0.3.0-8build1 ocaml-afl-persistent/1.4-5build1 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 | 2024-08-09 15:48:28 UTC | 0h 13m 29s | - | neutral | f89bae18-0624-4891-a028-a878bc38ae1f | log artifacts | ♻ | |
| 1.6.0-1build8 | glibc/2.40-1ubuntu1 gtk4/4.14.4+ds-8 pandas/2.2.2+dfsg-4 pymca/5.9.3+dfsg-1 python3.12/3.12.4-3 slm/1.21-1 symfony/6.4.7+dfsg-1ubuntu1 systemd/256.4-2ubuntu1 | 2024-08-07 03:43:22 UTC | 0h 14m 04s | - | pass | 4553a126-4149-4df8-8591-7526c6283d51 | log artifacts | ||
| 1.6.0-1build8 | sphinx/7.4.7-2 | 2024-08-05 22:13:36 UTC | 0h 07m 54s | - | pass | 5b353f44-6105-4ed2-a712-01f03fa6306e | log artifacts | ||
| 1.6.0-1build8 | ocaml-cairo2/0.6.4+dfsg-4 | 2024-08-03 13:42:08 UTC | 0h 08m 47s | - | pass | 28225558-9608-458e-ade7-4055b5cd24e7 | log artifacts | ||
| 1.6.0-1build8 | menhir/20231231+ds-2 | 2024-08-03 13:41:44 UTC | 0h 08m 57s | - | pass | ecbd3fe1-a9f9-4fef-bfed-576bd3abb22e | log artifacts | ||
| 1.6.0-1build8 | glib2.0/2.81.1-2ubuntu1 | 2024-08-03 02:48:04 UTC | 0h 09m 32s | - | pass | 4f7b7a5d-7f7a-4660-b35a-4965db7f2156 | log artifacts | ||
| 1.6.0-1build8 | zlib/1:1.3.dfsg-3.1ubuntu4 | 2024-08-02 07:34:38 UTC | 0h 13m 28s | - | pass | 14a975d0-9760-4b01-9773-21c6b6d4a9bc | log artifacts | ||
| 1.6.0-1build8 | sphinx/7.3.7-4 | 2024-07-30 23:49:01 UTC | 0h 46m 29s | - | pass | 4a4be8b2-9e4e-41d5-86e0-d4c5693e89ad | log artifacts | ||
| 1.6.0-1build8 | glib2.0/2.81.0-1ubuntu2 | 2024-07-27 20:46:15 UTC | 0h 16m 54s | - | pass | 98e9d206-a29a-4d3e-93ba-529d6953d5ab | log artifacts | ||
| 1.6.0-1build8 | glib2.0/2.81.0-1ubuntu1 | 2024-07-27 17:07:28 UTC | 0h 07m 44s | - | pass | 7ec053df-4d78-4b53-ad6b-fcbe98cb37d7 | log artifacts | ||
| 1.6.0-1build8 | camlzip/1.12-2 | 2024-07-21 02:34:56 UTC | 1h 13m 13s | - | pass | 232353ee-ad49-498f-afa5-7f40172184bd | log artifacts | ||
| 1.6.0-1build8 | lablgtk3/3.1.5-1 | 2024-07-13 22:57:46 UTC | 0h 41m 22s | - | pass | c2973839-5a0d-46f8-8188-1b089b5d7d93 | log artifacts | ||
| 1.6.0-1build8 | why3/1.6.0-1build8 camlzip/1.12-1 | 2024-07-13 10:28:42 UTC | 0h 17m 34s | - | pass | 42e51285-27b9-4b7d-bd23-d616671ad9da | log artifacts | ||
| 1.6.0-1build7 | camlzip/1.12-1 | 2024-07-13 10:23:11 UTC | 0h 19m 13s | - | pass | 7df10b81-6a03-46be-af1a-49523592eb3b | log artifacts | ||
| 1.6.0-1build7 | glibc/2.39-3.1ubuntu3 | 2024-07-13 01:39:15 UTC | 0h 11m 32s | - | pass | 6f86fdd5-5477-4e8c-af39-59f5b7c052a4 | log artifacts | ||
| 1.6.0-1build7 | gtk+3.0/3.24.43-1ubuntu1 | 2024-07-10 23:45:27 UTC | 0h 54m 23s | - | pass | 21c388a8-3dcd-4c83-ade6-087d261a92c6 | log artifacts | ||
| 1.6.0-1build7 | glib2.0/2.80.4-1ubuntu1 | 2024-07-09 20:54:59 UTC | 0h 11m 35s | - | pass | c327e2f9-d68c-450c-9c4a-e027e3abea70 | log artifacts | ||
| 1.6.0-1build7 | sphinx/7.3.7-3 | 2024-07-03 23:10:26 UTC | 0h 13m 31s | - | pass | 2f4faf65-3420-4a95-aa44-8db2006efbf3 | log artifacts | ||
| 1.6.0-1build7 | glibc/2.39-3.1ubuntu2 | 2024-06-29 12:11:08 UTC | 0h 13m 32s | jbicha | pass | b2e6babd-e300-451e-94c1-b566ef4a88b8 | log artifacts | ||
| unknown | glibc/2.39-3.1ubuntu2 | 2024-06-29 03:09:21 UTC | 0h 00m 56s | - | tmpfail | a834d899-ee1b-41a8-8670-1069e5e00643 | log artifacts | ♻ | |
| 1.6.0-1build7 | sphinx/7.2.6-9 | 2024-06-17 03:05:55 UTC | 0h 13m 06s | - | pass | 50cd983e-f73c-4225-85e6-1ac9304c39d7 | log artifacts | ||
| 1.6.0-1build7 | pango1.0/1.54.0+ds-1 | 2024-06-11 06:06:35 UTC | 0h 13m 10s | - | pass | 1d5a9570-e9d7-4ba5-bc9c-7bd901619b7e | log artifacts | ||
| 1.6.0-1build7 | glibc/2.39-0ubuntu9 | 2024-06-11 05:25:39 UTC | 0h 18m 10s | - | pass | 28407e1a-00df-4f16-9b46-99189cd78db6 | log artifacts | ||
| 1.6.0-1build7 | glib2.0/2.80.3-1ubuntu1 | 2024-06-10 19:35:13 UTC | 0h 12m 14s | - | pass | d7ef4373-180f-446d-a7af-201620c054c1 | log artifacts | ||
| 1.6.0-1build7 | sphinx/7.2.6-8 | 2024-05-25 03:16:12 UTC | 0h 11m 48s | - | pass | b81125f2-51e0-4b1b-b590-f6c1f0f34cc2 | log artifacts | ||
| 1.6.0-1build7 | glib2.0/2.80.2-1ubuntu1 | 2024-05-21 12:40:31 UTC | 0h 15m 54s | ginggs | pass | 71db5ee3-a99b-42e4-8041-4d0611a7015b | log artifacts | ||
| unknown | glib2.0/2.80.2-1ubuntu1 | 2024-05-21 02:18:56 UTC | 0h 16m 20s | - | tmpfail | 988685c7-2dec-43aa-9254-23c600b61daa | log artifacts | ♻ | |
| 1.6.0-1build7 | gdk-pixbuf/2.42.12+dfsg-1 | 2024-05-17 10:28:12 UTC | 0h 11m 07s | - | pass | 3fddf36b-4efb-46f0-8a41-6589c420ca1e | log artifacts | ||
| 1.6.0-1build7 | sphinx/7.2.6-7 | 2024-05-14 15:29:53 UTC | 0h 14m 05s | - | pass | b37d2e60-b3e4-4697-98dc-9d354fbb7398 | log artifacts | ||
| 1.6.0-1build7 | glib2.0/2.80.1-0ubuntu2 | 2024-05-14 05:07:58 UTC | 0h 14m 54s | - | pass | 091a79ff-9a9b-42df-8a92-7091ced90fbc | log artifacts | ||
| 1.6.0-1build7 | glib2.0/2.80.0-10ubuntu1 | 2024-05-10 10:21:33 UTC | 0h 12m 27s | - | pass | 2d346c2d-a09c-42d8-a32e-08a5ffbabf2d | log artifacts | ||
| 1.6.0-1build7 | glibc/2.39-0ubuntu8.1 | 2024-05-06 19:11:13 UTC | 0h 15m 46s | jbicha | pass | 9341a869-ed34-4079-8129-42d32feeb480 | log artifacts | ||
| 1.6.0-1build7 | pango1.0/1.52.2+ds-1 | 2024-05-06 04:54:09 UTC | 0h 10m 58s | - | pass | 24cc3efb-0da2-44e8-95b1-1ea48cfe6e82 | log artifacts | ||
| 1.6.0-1build7 | glibc/2.39-0ubuntu8.1 | 2024-05-01 12:32:19 UTC | 0h 13m 04s | - | fail | cd8ec2f1-b6f4-4984-9bd1-3c921143d776 | log artifacts |
To ease the browsing of logs, you can use this userscript with any extension supporting that, like TamperMonkey.