why3 [oracular/s390x]
| 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:11:29 UTC | 0h 06m 15s | - | pass | 11c7863f-ccef-47e5-8328-bb49a88290ac | log artifacts | ||
| 1.6.0-1build8 | cairo/1.18.2-1 | 2024-09-06 15:07:22 UTC | 0h 11m 37s | - | pass | 80dd9cf9-134d-4d6f-a557-570621decb62 | 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:07:18 UTC | 0h 09m 18s | - | pass | cbf46e1c-7317-464c-ac69-322827ae30cd | log artifacts | ||
| 1.6.0-1build8 | gtk+3.0/3.24.43-3ubuntu2 | 2024-08-31 00:48:25 UTC | 0h 18m 27s | - | pass | f9554557-26fa-402d-a44a-54b942f71ba0 | log artifacts | ||
| 1.6.0-1build8 | pango1.0/1.54.0+ds-2 | 2024-08-30 03:12:37 UTC | 0h 08m 54s | - | pass | b5a81967-6bc3-48ee-a5be-b3aee713bc12 | log artifacts | ||
| 1.6.0-1build8 | glib2.0/2.82.0-1 | 2024-08-26 22:54:47 UTC | 0h 17m 20s | - | pass | d61fcabd-a28d-44b4-881b-d3b2cc26dece | log artifacts | ||
| 1.6.0-1build8 | sphinx/7.4.7-3 | 2024-08-26 12:06:38 UTC | 0h 10m 30s | - | pass | ec1bae67-982b-47a2-93c8-2907c3397130 | log artifacts | ||
| 1.6.0-1build8 | gtksourceview3/3.24.11-3 | 2024-08-23 12:07:20 UTC | 0h 11m 15s | - | pass | 699cf96c-103b-4554-a09f-44425a90f584 | 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:39:02 UTC | 0h 08m 38s | - | pass | 835df427-078a-4da8-97e2-48bef783d03d | log artifacts | ||
| 1.6.0-1build8 | glib2.0/2.81.2-1 util-linux/2.40.2-1ubuntu1 | 2024-08-20 16:17:20 UTC | 0h 11m 58s | - | pass | 363d1f5a-dba3-43fd-95d1-b619408965ec | log artifacts | ||
| 1.6.0-1build8 | zlib/1:1.3.dfsg+really1.3.1-1ubuntu1 | 2024-08-19 11:28:26 UTC | 0h 15m 09s | - | pass | ee50675a-f1db-4f01-acbb-a2e2968c06ab | 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 19:46:01 UTC | 0h 49m 19s | - | pass | 84e85580-422e-4a8b-9db8-7ffd72296d4d | 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:22:44 UTC | 0h 47m 21s | - | pass | 2fb60e19-885b-4ad4-8117-41853cfa55c2 | 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:08:35 UTC | 0h 49m 03s | - | pass | ba750db6-f8aa-4260-8896-6e5b67ec5d54 | 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:09:07 UTC | 0h 56m 00s | - | pass | f9c01cd4-16a3-4e4f-a549-792ec9aa17ec | log artifacts | ||
| 1.6.0-1build8 | glib2.0/2.81.1-3 | 2024-08-09 21:32:29 UTC | 0h 14m 10s | - | pass | b63f95a9-fedc-40a8-85f1-9c4feb0e08ab | 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:54:17 UTC | 0h 16m 52s | - | neutral | 656aaf46-3ac4-4595-b03d-826b9b8a3990 | 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:53:03 UTC | 0h 24m 58s | - | pass | a06f095d-c79d-4d55-b3e8-87da04838b9f | log artifacts | ||
| 1.6.0-1build8 | sphinx/7.4.7-2 | 2024-08-05 22:14:44 UTC | 0h 10m 26s | - | pass | b0e0d559-e0fe-4610-8fbb-ad1ec2385ff1 | log artifacts | ||
| 1.6.0-1build8 | glib2.0/2.81.1-2ubuntu1 | 2024-08-03 17:24:31 UTC | 0h 07m 02s | jbicha | pass | bd280cf1-6b06-4f29-9ab9-f4dc26028a1d | log artifacts | ||
| unknown | glib2.0/2.81.1-2ubuntu1 | 2024-08-03 15:08:56 UTC | 0h 01m 55s | jbicha | tmpfail | 2d2104c7-ac61-49a1-9002-a9d0120b7c32 | log artifacts | ♻ | |
| 1.6.0-1build8 | ocaml-cairo2/0.6.4+dfsg-4 | 2024-08-03 13:43:49 UTC | 0h 10m 33s | - | pass | 7353a5d6-57d9-428e-9f29-ff014a0f7775 | log artifacts | ||
| 1.6.0-1build8 | menhir/20231231+ds-2 | 2024-08-03 13:43:18 UTC | 0h 10m 30s | - | pass | ed35e2e7-7861-46f0-96b9-67c94ced6e50 | log artifacts | ||
| unknown | glib2.0/2.81.1-2ubuntu1 | 2024-08-03 11:44:26 UTC | 0h 01m 25s | jbicha | tmpfail | 6093758f-580e-460d-a8d0-2f831be76657 | log artifacts | ||
| unknown | glib2.0/2.81.1-2ubuntu1 | 2024-08-03 03:11:54 UTC | 0h 01m 07s | - | tmpfail | dca86647-fe68-40ea-ac3c-437d34317857 | log artifacts | ||
| 1.6.0-1build8 | sphinx/7.3.7-4 | 2024-07-31 07:29:24 UTC | 0h 09m 07s | mitya57 | pass | aea7c6b2-c254-404c-8cb0-b4dd1516811d | log artifacts | ||
| unknown | sphinx/7.3.7-4 | 2024-07-31 01:32:08 UTC | 0h 16m 57s | - | tmpfail | f9f9502b-d749-479f-8084-e8c584805890 | log artifacts | ♻ | |
| 1.6.0-1build8 | glib2.0/2.81.0-1ubuntu2 | 2024-07-27 20:37:25 UTC | 0h 10m 08s | - | pass | 8769dc51-f6a6-480f-bf39-ffe891a9aceb | log artifacts | ||
| 1.6.0-1build8 | glib2.0/2.81.0-1ubuntu1 | 2024-07-27 17:17:16 UTC | 0h 08m 53s | - | pass | 5cd2169f-09f8-404d-b757-7324a78d997a | log artifacts | ||
| 1.6.0-1build8 | camlzip/1.12-2 | 2024-07-21 01:39:58 UTC | 0h 17m 54s | - | pass | 34b04364-9993-4a71-9c3f-9c44a93bad4d | log artifacts | ||
| 1.6.0-1build8 | lablgtk3/3.1.5-1 | 2024-07-13 22:48:55 UTC | 0h 34m 58s | - | pass | 7715c845-088f-46e2-a232-21208d86991f | log artifacts | ||
| 1.6.0-1build8 | why3/1.6.0-1build8 camlzip/1.12-1 | 2024-07-13 14:53:50 UTC | 0h 10m 58s | jbicha | pass | ffe0f294-e59b-4374-9d53-52352a96d0fd | log artifacts | ||
| 1.6.0-1build8 | why3/1.6.0-1build8 camlzip/1.12-1 | 2024-07-13 11:03:19 UTC | 0h 15m 10s | - | tmpfail | 6bd10b0a-d7c9-4604-89e7-1d6f9a2306b8 | log artifacts | ||
| 1.6.0-1build7 | camlzip/1.12-1 | 2024-07-13 10:25:06 UTC | 0h 06m 54s | - | pass | e74c640f-3f31-457d-9664-a64ad109de2e | log artifacts | ||
| 1.6.0-1build7 | glibc/2.39-3.1ubuntu3 | 2024-07-13 06:05:50 UTC | 0h 12m 14s | - | pass | 40f068d2-2d87-47c8-9f2f-86ae262bf1ab | log artifacts | ||
| 1.6.0-1build7 | gtk+3.0/3.24.43-1ubuntu1 | 2024-07-11 07:15:52 UTC | 0h 17m 46s | costamagnagianfranco | pass | 68646099-5024-4eb1-ad51-62442fdb83c5 | log artifacts | ||
| unknown | gtk+3.0/3.24.43-1ubuntu1 | 2024-07-11 02:33:07 UTC | 0h 12m 49s | - | tmpfail | 7cfe7eee-7ed4-4eb9-b2db-bbaa435dcd5e | log artifacts | ♻ | |
| 1.6.0-1build7 | glib2.0/2.80.4-1ubuntu1 | 2024-07-09 21:24:48 UTC | 0h 11m 34s | - | pass | 5cebd149-35a5-4724-9d6a-33b44ccc66ac | log artifacts | ||
| 1.6.0-1build7 | sphinx/7.3.7-3 | 2024-07-04 00:09:09 UTC | 0h 13m 50s | - | pass | 254b2057-3a8b-4f8f-93fe-b8e95bd1ca8a | log artifacts | ||
| 1.6.0-1build7 | glibc/2.39-3.1ubuntu2 | 2024-06-29 18:43:00 UTC | 0h 12m 54s | jbicha | pass | f48b1f9f-5551-44f2-bf0e-3ebdf6a94066 | log artifacts | ||
| unknown | glibc/2.39-3.1ubuntu2 | 2024-06-29 16:21:39 UTC | 0h 12m 50s | - | tmpfail | 9d1ca94b-165f-4268-9bb8-f0d82fa9f906 | log artifacts | ♻ | |
| 1.6.0-1build7 | sphinx/7.2.6-9 | 2024-06-17 04:16:49 UTC | 0h 09m 59s | - | pass | f9b9b6a6-269d-4c48-ba4f-790bb185c49a | log artifacts | ||
| 1.6.0-1build7 | pango1.0/1.54.0+ds-1 | 2024-06-11 07:45:00 UTC | 0h 11m 12s | - | pass | 4cce3cd7-c021-41f3-8977-1a7731472cd6 | log artifacts | ||
| 1.6.0-1build7 | glibc/2.39-0ubuntu9 | 2024-06-11 07:10:06 UTC | 0h 14m 24s | - | pass | 3c8a3b61-125d-4d0b-97f9-9619a0432326 | log artifacts | ||
| 1.6.0-1build7 | glib2.0/2.80.3-1ubuntu1 | 2024-06-10 19:48:32 UTC | 0h 12m 01s | - | pass | 12152953-1dfc-4054-a56e-b4310829a170 | log artifacts | ||
| 1.6.0-1build7 | sphinx/7.2.6-8 | 2024-05-25 05:14:06 UTC | 0h 16m 45s | - | pass | c24f7de9-3056-4094-8360-63397f5a9cd6 | log artifacts | ||
| 1.6.0-1build7 | glib2.0/2.80.2-1ubuntu1 | 2024-05-21 07:46:24 UTC | 0h 19m 52s | - | pass | 8a31eda7-d5d3-40cb-b1fe-6e84ebdef1c0 | log artifacts | ||
| 1.6.0-1build7 | gdk-pixbuf/2.42.12+dfsg-1 | 2024-05-17 12:17:19 UTC | 0h 44m 22s | - | pass | 1ce2a479-3e55-49e1-923e-ed7e42a9a8df | log artifacts | ||
| 1.6.0-1build7 | sphinx/7.2.6-7 | 2024-05-16 03:40:59 UTC | 0h 29m 50s | - | pass | 3d9ea366-11f4-4f99-9794-34b1bf9f410e | log artifacts | ||
| 1.6.0-1build7 | glib2.0/2.80.1-0ubuntu2 | 2024-05-15 19:09:00 UTC | 0h 13m 34s | - | pass | a8967564-f94a-4511-851a-b1c2220943ce | log artifacts | ||
| 1.6.0-1build7 | glib2.0/2.80.0-10ubuntu1 | 2024-05-15 17:11:50 UTC | 0h 22m 39s | - | pass | 322428fe-b33f-4aed-bdaf-f88058ce9530 | log artifacts | ||
| 1.6.0-1build7 | pango1.0/1.52.2+ds-1 | 2024-05-11 22:35:47 UTC | 0h 22m 57s | ginggs | pass | d2252a25-feeb-4d43-bb66-cb7c6015f0ba | log artifacts | ||
| unknown | pango1.0/1.52.2+ds-1 | 2024-05-11 11:09:05 UTC | 0h 12m 50s | - | tmpfail | 86514295-abc5-4099-8b81-060f4841ee85 | log artifacts | ♻ | |
| 1.6.0-1build7 | glibc/2.39-0ubuntu8.1 | 2024-05-02 00:48:54 UTC | 0h 14m 56s | - | pass | bc626df2-1ca4-4338-9f80-86897c8ae97a | log artifacts |
To ease the browsing of logs, you can use this userscript with any extension supporting that, like TamperMonkey.