why3 [oracular/armhf]
| 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:23:20 UTC | 0h 12m 47s | - | neutral | dcb27b8d-edb4-4157-9fee-c3bd35157d85 | log artifacts | ♻ | |
| 1.6.0-1build8 | cairo/1.18.2-1 | 2024-09-06 15:52:27 UTC | 0h 19m 48s | - | pass | e5e28646-407a-42e4-be4c-1f13acf52b47 | 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:32:36 UTC | 0h 20m 26s | - | fail | 86e68ddf-51a2-48e5-be2b-4552562df014 | log artifacts | ♻ | |
| 1.6.0-1build8 | gtk+3.0/3.24.43-3ubuntu2 | 2024-08-31 01:05:08 UTC | 0h 24m 47s | - | pass | a99353bf-9522-46b8-82d7-6146803c38b2 | log artifacts | ||
| 1.6.0-1build8 | pango1.0/1.54.0+ds-2 | 2024-08-30 03:37:09 UTC | 0h 18m 23s | - | pass | 6bd6236b-620d-4556-a0b6-a418846deea7 | log artifacts | ||
| 1.6.0-1build8 | glib2.0/2.82.0-1 | 2024-08-26 23:00:33 UTC | 0h 22m 48s | - | pass | 9bb8b9a9-0a5a-4a44-a9ed-eb8681a1267a | log artifacts | ||
| 1.6.0-1build8 | sphinx/7.4.7-3 | 2024-08-26 15:46:29 UTC | 0h 21m 41s | - | pass | c0a847b7-0966-4623-b0f8-702c83f9766a | log artifacts | ||
| 1.6.0-1build8 | gtksourceview3/3.24.11-3 | 2024-08-23 12:41:51 UTC | 0h 26m 41s | - | pass | 5717ac63-75e5-4f9d-8c35-a2f50fb27816 | 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:58:00 UTC | 0h 27m 37s | - | fail | 659510fa-d5e7-49c1-9565-da220205f47b | log artifacts | ♻ | |
| 1.6.0-1build8 | glib2.0/2.81.2-1 util-linux/2.40.2-1ubuntu1 | 2024-08-20 19:52:55 UTC | 0h 20m 58s | - | pass | a45aae67-35d0-43c4-98fd-c28e7139981b | log artifacts | ||
| 1.6.0-1build8 | ocaml/5.2.0-2 findlib/1.9.6-3build1 ocaml-fpath/0.7.3-3build3 ocaml-visitors/20210608-6build1 ppx-deriving-yojson/3.8.0-1build1 ppx-deriving/6.0.2-2build1 | 2024-08-17 06:55:53 UTC | 0h 21m 02s | - | fail | 4add3ae9-f064-415f-8c7d-d20ddb40747b | log artifacts | ♻ | |
| 1.6.0-1build8 | zlib/1:1.3.dfsg+really1.3.1-1ubuntu1 | 2024-08-17 03:46:28 UTC | 0h 23m 00s | - | pass | abb7629b-da72-495f-9b97-04b848826af1 | log artifacts | ||
| 1.7.2-2 | why3/1.7.2-2 camlzip/1.12-2build2 lablgtk3/3.1.5-1build1 menhir/20231231+ds-2build1 ocaml-cairo2/0.6.4+dfsg-4build1 ocaml-num/1.5-1build1 ocaml/5.2.0-2 | 2024-08-16 21:26:44 UTC | 0h 14m 59s | uralt | neutral | bded49f4-654a-4b2e-94bc-ab414d0b7e19 | log artifacts | ♻ | |
| 1.6.0-1build8 | glib2.0/2.81.1-3 | 2024-08-16 07:47:57 UTC | 0h 22m 05s | - | pass | 136dc38e-4cd0-4300-acfd-48ee0354d228 | 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:52:49 UTC | 1h 01m 59s | - | error | 3ab50f27-943f-435d-8676-2008a7a24986 | 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:36:17 UTC | 0h 09m 43s | - | tmpfail | c35035ae-3f7a-4267-bc9f-a133cf24a549 | 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 17:40:26 UTC | 0h 57m 29s | - | fail | 9ecb303e-c716-4ca6-99aa-a74f5a3b9064 | log artifacts | ♻ | |
| 1.6.0-1build8 | ocaml-num/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-fpath/0.7.3-3build3 ocaml-luv/0.5.12-2build5 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:52 UTC | 0h 26m 41s | - | fail | 0f71d225-29d6-49e8-8d10-1eacef0c7021 | log artifacts | ♻ | |
| 1.6.0-1build8 | menhir/20231231+ds-2build1 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 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 16:54:05 UTC | 0h 13m 43s | - | error | 5479f0da-bfce-4fdc-a82f-f75a97f447da | 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 16:23:44 UTC | 0h 28m 58s | - | fail | 90e9f807-f658-454b-9814-d64f5c025efb | log artifacts | ♻ | |
| 1.6.0-1build8 | glibc/2.40-1ubuntu1 | 2024-08-08 10:46:38 UTC | 0h 34m 26s | schopin | pass | 905b1995-f1ee-4983-b0e3-0cd857730ed2 | log artifacts | ||
| 1.6.0-1build8 | glibc/2.40-1ubuntu1 | 2024-08-08 04:21:56 UTC | 0h 39m 36s | jbicha | fail | 276e5107-ac6a-4950-8f24-fe0dc0f70965 | 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 07:54:20 UTC | 0h 38m 14s | - | error | a01583c0-89f5-46bf-9a31-d962aa610ef2 | log artifacts | ♻ | |
| 1.6.0-1build8 | sphinx/7.4.7-2 | 2024-08-06 03:47:21 UTC | 0h 19m 50s | - | pass | acbfbdf8-69a5-422d-b913-a3c05538730a | log artifacts | ||
| 1.6.0-1build8 | glib2.0/2.81.1-2ubuntu1 | 2024-08-03 18:17:37 UTC | 0h 21m 41s | jbicha | pass | 2e4ad7e4-c93e-47ce-9151-78510aa3a561 | log artifacts | ||
| 1.6.0-1build8 | glib2.0/2.81.1-2ubuntu1 | 2024-08-03 17:09:46 UTC | 0h 20m 07s | jbicha | pass | b93f095d-2d3c-4932-a136-d0baaa982558 | log artifacts | ||
| 1.6.0-1build8 | ocaml-cairo2/0.6.4+dfsg-4 | 2024-08-03 16:57:45 UTC | 0h 26m 30s | - | pass | 56edcd2c-153c-4271-97f7-f074f4aa846c | log artifacts | ||
| 1.6.0-1build8 | menhir/20231231+ds-2 | 2024-08-03 16:51:37 UTC | 0h 21m 25s | - | pass | 7d7b6eb3-eaca-4668-9384-b0efefac9343 | log artifacts | ||
| 1.6.0-1build8 | glib2.0/2.81.1-2ubuntu1 | 2024-08-03 11:09:42 UTC | 1h 06m 47s | - | fail | d3688e10-1201-4444-8500-087efe8eba43 | log artifacts | ||
| 1.6.0-1build8 | zlib/1:1.3.dfsg-3.1ubuntu4 | 2024-08-03 00:16:50 UTC | 0h 55m 02s | - | pass | b7da540f-c491-4a57-b1a2-580217c3cd9a | log artifacts | ||
| 1.6.0-1build8 | sphinx/7.3.7-4 | 2024-07-31 10:17:54 UTC | 0h 20m 45s | - | pass | 30b11265-fd71-4b59-b1ef-b1119baf8038 | log artifacts | ||
| 1.6.0-1build8 | glib2.0/2.81.0-1ubuntu2 | 2024-07-27 23:23:14 UTC | 0h 19m 25s | jbicha | pass | 8c2b10fb-6df6-4eee-ba8e-854937d21fd7 | log artifacts | ||
| unknown | glib2.0/2.81.0-1ubuntu2 | 2024-07-27 22:25:38 UTC | 0h 00m 01s | - | tmpfail | ef5b6204-8825-4b18-91f9-312fcb0cc6eb | log artifacts | ♻ | |
| unknown | glib2.0/2.81.0-1ubuntu1 | 2024-07-27 18:13:45 UTC | 0h 00m 21s | - | tmpfail | 9ccf80bf-50c4-45ff-b7ac-493098c2526d | log artifacts | ♻ | |
| 1.6.0-1build8 | camlzip/1.12-2 | 2024-07-22 01:22:39 UTC | 0h 37m 30s | ginggs | pass | 20385d92-6950-48f1-b62d-b6fb7c429429 | log artifacts | ||
| unknown | camlzip/1.12-2 | 2024-07-21 13:23:20 UTC | 0h 11m 29s | - | tmpfail | 13a8cb42-a278-4382-9fff-8bc6ac255c22 | log artifacts | ♻ | |
| 1.6.0-1build8 | lablgtk3/3.1.5-1 | 2024-07-13 22:26:32 UTC | 0h 19m 20s | - | pass | 45b23e61-8039-4d21-b9c2-6589f190629c | log artifacts | ||
| 1.6.0-1build8 | why3/1.6.0-1build8 camlzip/1.12-1 | 2024-07-13 10:29:16 UTC | 0h 18m 33s | - | pass | 32aa158f-ce4d-47fb-8c08-faec073f01d3 | log artifacts | ||
| 1.6.0-1build7 | camlzip/1.12-1 | 2024-07-13 10:22:14 UTC | 0h 18m 27s | - | pass | 0422f6d2-f5d0-45b2-a148-0fcff9d9402a | log artifacts | ||
| 1.6.0-1build7 | glibc/2.39-3.1ubuntu3 | 2024-07-13 08:45:38 UTC | 0h 18m 24s | - | pass | 145148ee-cf40-4b71-a776-b3dd3b5531ad | log artifacts | ||
| 1.6.0-1build7 | gtk+3.0/3.24.43-1ubuntu1 | 2024-07-10 22:53:19 UTC | 0h 17m 52s | - | pass | 21a03bb8-c61f-44b9-813a-c80762662d54 | log artifacts | ||
| 1.6.0-1build7 | glib2.0/2.80.4-1ubuntu1 | 2024-07-09 21:15:21 UTC | 0h 15m 07s | - | pass | 707dfcf0-5e1e-43ab-8403-57a8cdd3112e | log artifacts | ||
| 1.6.0-1build7 | sphinx/7.3.7-3 | 2024-07-03 23:19:07 UTC | 0h 14m 39s | - | pass | 639a2562-7e43-4aea-8a88-d606fb6554ec | log artifacts | ||
| 1.6.0-1build7 | glibc/2.39-3.1ubuntu2 | 2024-06-29 07:04:15 UTC | 0h 15m 05s | - | pass | ca5c39b1-038f-465d-b356-bf314f40ae5d | log artifacts | ||
| 1.6.0-1build7 | sphinx/7.2.6-9 | 2024-06-17 03:57:05 UTC | 0h 13m 12s | - | pass | 71bf0c0e-e7dc-44c7-9156-6c485b3be434 | log artifacts | ||
| 1.6.0-1build7 | pango1.0/1.54.0+ds-1 | 2024-06-12 03:46:41 UTC | 0h 18m 05s | - | pass | c0747287-63eb-403f-aaaf-b031652d0381 | log artifacts | ||
| 1.6.0-1build7 | glibc/2.39-0ubuntu9 | 2024-06-12 00:23:31 UTC | 0h 14m 17s | - | pass | faacc653-c3f8-4b2c-88b8-361765e46a76 | log artifacts | ||
| 1.6.0-1build7 | glib2.0/2.80.3-1ubuntu1 | 2024-06-10 21:03:27 UTC | 0h 15m 48s | - | pass | ceb4be61-fc75-4a4d-89c5-270ee34729d7 | log artifacts | ||
| 1.6.0-1build7 | sphinx/7.2.6-8 | 2024-05-29 04:43:03 UTC | 0h 14m 12s | - | pass | 80ef9a86-37cf-4fa3-99da-fddde1271c61 | log artifacts | ||
| 1.6.0-1build7 | glib2.0/2.80.2-1ubuntu1 | 2024-05-21 02:28:05 UTC | 0h 15m 30s | - | pass | 6f607d8f-6325-472c-a29c-01cc307d83e1 | log artifacts | ||
| 1.6.0-1build7 | gdk-pixbuf/2.42.12+dfsg-1 | 2024-05-17 13:44:16 UTC | 0h 13m 57s | - | pass | 0a4ef86b-8e8e-4c25-a5ba-1d65c64a4239 | log artifacts | ||
| 1.6.0-1build7 | glibc/2.39-0ubuntu8.1 | 2024-05-17 06:19:03 UTC | 0h 14m 43s | - | pass | 15bf7fbc-a47f-4e0c-abe1-992d66f850ab | log artifacts | ||
| 1.6.0-1build7 | sphinx/7.2.6-7 | 2024-05-16 04:40:10 UTC | 0h 13m 10s | - | pass | 1f58a893-5d76-4903-99c5-6fc92ee1b06d | log artifacts | ||
| 1.6.0-1build7 | pango1.0/1.52.2+ds-1 | 2024-05-14 21:35:20 UTC | 0h 16m 08s | ginggs | pass | 4aa43aec-3299-44ad-a506-29325854eb98 | log artifacts | ||
| unknown | pango1.0/1.52.2+ds-1 | 2024-05-13 17:51:12 UTC | 0h 00m 01s | ginggs | tmpfail | b8a93764-a18d-4fb0-a239-31d0bf62af39 | log artifacts | ♻ | |
| unknown | pango1.0/1.52.2+ds-1 | 2024-05-13 06:33:24 UTC | 0h 00m 04s | ginggs | tmpfail | 4ab9a398-b852-4178-97a0-dcedc1aefa9e | log artifacts | ||
| unknown | pango1.0/1.52.2+ds-1 | 2024-05-12 20:28:07 UTC | 0h 00m 04s | - | tmpfail | 340c479d-0e84-417f-8fa4-7b6b824754aa | log artifacts | ||
| 1.6.0-1build7 | glib2.0/2.80.1-0ubuntu2 | 2024-05-11 21:48:36 UTC | 0h 14m 31s | - | pass | 7e95bfa3-db3a-40ef-99cf-041c54556f26 | log artifacts |
To ease the browsing of logs, you can use this userscript with any extension supporting that, like TamperMonkey.