why3 [oracular/amd64]
| 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:06 UTC | 0h 05m 52s | - | pass | 26f00eaa-6f85-4a85-accb-4113a276c9d4 | log artifacts | ||
| 1.6.0-1build8 | cairo/1.18.2-1 | 2024-09-06 15:00:08 UTC | 0h 25m 00s | - | pass | cdada827-d58f-4738-a8a8-845cf8df7ec3 | 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:06:37 UTC | 0h 09m 34s | - | pass | 80b2fa60-d33c-4acf-ad54-04c9541e29ab | log artifacts | ||
| 1.6.0-1build8 | gtk+3.0/3.24.43-3ubuntu2 | 2024-08-31 00:36:26 UTC | 0h 39m 14s | - | pass | 462ad269-70c2-4009-88ae-ecd900cda86d | log artifacts | ||
| 1.6.0-1build8 | pango1.0/1.54.0+ds-2 | 2024-08-30 03:23:54 UTC | 0h 30m 44s | - | pass | 97df8884-6682-4c5b-9cc2-e5d2fb2cba9f | log artifacts | ||
| 1.6.0-1build8 | glib2.0/2.82.0-1 | 2024-08-26 21:14:56 UTC | 0h 18m 47s | - | pass | d2dc7d2f-a0d1-43d7-91b4-f92e9c4ba06b | log artifacts | ||
| 1.6.0-1build8 | sphinx/7.4.7-3 | 2024-08-26 11:08:17 UTC | 0h 17m 47s | - | pass | 98318342-3cae-4393-b213-6ed3d7358b35 | log artifacts | ||
| 1.6.0-1build8 | gtksourceview3/3.24.11-3 | 2024-08-23 12:04:26 UTC | 0h 08m 14s | - | pass | eceb8e19-7e51-4221-83e9-69df097db1cd | 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:52:56 UTC | 0h 22m 33s | - | pass | ca5afaff-e1c8-4e63-ada3-7b42517f1204 | log artifacts | ||
| 1.6.0-1build8 | glib2.0/2.81.2-1 util-linux/2.40.2-1ubuntu1 | 2024-08-20 15:58:43 UTC | 0h 29m 26s | - | pass | 2617e532-81c9-46dc-98e4-8fab7d02d31c | 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:17:16 UTC | 0h 48m 51s | - | pass | b197f6b2-746c-412d-99e2-83fa46ae127b | 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 17:57:29 UTC | 0h 32m 14s | - | pass | bd455906-94dc-4436-b804-b9d725397981 | 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 17:24:38 UTC | 0h 50m 50s | - | pass | b8dd328b-a279-40c1-afb5-6e6e347abc68 | 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:35:15 UTC | 0h 43m 11s | - | pass | d297b43e-9e5b-41e9-a42c-604148f22b6a | log artifacts | ||
| 1.6.0-1build8 | zlib/1:1.3.dfsg+really1.3.1-1ubuntu1 | 2024-08-13 16:06:04 UTC | 0h 25m 28s | - | pass | 0558f8a7-723a-4f0f-823c-35b54684fb0f | log artifacts | ||
| 1.6.0-1build8 | glib2.0/2.81.1-3 | 2024-08-10 01:06:15 UTC | 0h 20m 17s | - | pass | d1319aad-63d4-4e7e-b001-8d6ebc4583ca | 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 16:01:49 UTC | 0h 25m 30s | - | neutral | 93433791-d8bf-4339-b65b-ac2addecc6b6 | 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 02:03:49 UTC | 0h 16m 58s | - | pass | a06cdc40-ee19-4923-82ff-d3a682abf986 | log artifacts | ||
| 1.6.0-1build8 | sphinx/7.4.7-2 | 2024-08-05 22:21:17 UTC | 0h 12m 37s | - | pass | 2665bf3e-1d16-4544-b814-9b31c344a982 | log artifacts | ||
| 1.6.0-1build8 | ocaml-cairo2/0.6.4+dfsg-4 | 2024-08-03 14:10:09 UTC | 0h 36m 40s | - | pass | 03621d25-22eb-4449-8eb0-bc136a9ed9f6 | log artifacts | ||
| 1.6.0-1build8 | menhir/20231231+ds-2 | 2024-08-03 13:38:52 UTC | 0h 06m 06s | - | pass | d5154787-9a96-42b2-97ae-d9b6f008066d | log artifacts | ||
| 1.6.0-1build8 | glib2.0/2.81.1-2ubuntu1 | 2024-08-03 02:36:24 UTC | 0h 13m 58s | - | pass | af0e8c88-0f10-47b8-80d9-0dc4a90edce6 | log artifacts | ||
| 1.6.0-1build8 | zlib/1:1.3.dfsg-3.1ubuntu4 | 2024-08-02 07:28:04 UTC | 0h 10m 57s | - | pass | c25074be-29cb-43b1-a199-402d3b4162a9 | log artifacts | ||
| 1.6.0-1build8 | sphinx/7.3.7-4 | 2024-07-31 00:33:20 UTC | 0h 27m 32s | - | pass | 09013023-a25b-4c7a-ba28-d70b7dbc00f8 | log artifacts | ||
| 1.6.0-1build8 | glib2.0/2.81.0-1ubuntu2 | 2024-07-27 20:26:12 UTC | 0h 13m 36s | - | pass | d05bc8ec-0f80-4731-8e0a-3e460dbeee0e | log artifacts | ||
| 1.6.0-1build8 | glib2.0/2.81.0-1ubuntu1 | 2024-07-27 16:59:48 UTC | 0h 11m 50s | - | pass | b9fd8925-b4a7-4d25-888e-7a39c23e36a1 | log artifacts | ||
| 1.6.0-1build8 | camlzip/1.12-2 | 2024-07-21 01:50:41 UTC | 0h 29m 03s | - | pass | 8534f0ac-2b96-4c5a-885f-b2837a9cd05d | log artifacts | ||
| 1.6.0-1build8 | lablgtk3/3.1.5-1 | 2024-07-13 22:29:23 UTC | 0h 22m 51s | - | pass | ab0ac7fd-ab84-4c61-b601-4fbd1472b25a | log artifacts | ||
| 1.6.0-1build8 | why3/1.6.0-1build8 camlzip/1.12-1 | 2024-07-13 10:16:36 UTC | 0h 04m 58s | - | pass | 338af9d6-fd50-4d04-bc62-3045551a7a5c | log artifacts | ||
| 1.6.0-1build7 | camlzip/1.12-1 | 2024-07-13 10:09:51 UTC | 0h 05m 00s | - | pass | 62f57565-498c-4d83-aa0e-0265afb3bc61 | log artifacts | ||
| 1.6.0-1build7 | glibc/2.39-3.1ubuntu3 | 2024-07-12 20:50:11 UTC | 0h 08m 52s | - | pass | fbf67044-316c-498f-82b9-31ea4db36967 | log artifacts | ||
| 1.6.0-1build7 | gtk+3.0/3.24.43-1ubuntu1 | 2024-07-10 23:21:57 UTC | 1h 00m 17s | - | pass | f86c6129-8f77-47ee-9f9e-4a4ff951933d | log artifacts | ||
| 1.6.0-1build7 | glib2.0/2.80.4-1ubuntu1 | 2024-07-09 20:44:34 UTC | 0h 22m 08s | - | pass | 407ce8af-2a91-40ec-bc6a-c1b30f522d8a | log artifacts | ||
| 1.6.0-1build7 | sphinx/7.3.7-3 | 2024-07-03 22:16:45 UTC | 0h 21m 06s | - | pass | d061e9c4-2197-41d4-8e7f-1b149c3558f9 | log artifacts | ||
| 1.6.0-1build7 | glibc/2.39-3.1ubuntu2 | 2024-06-28 23:47:55 UTC | 0h 29m 41s | - | pass | 055054d9-8b8b-4c12-a2f7-e67612d26061 | log artifacts | ||
| 1.6.0-1build7 | sphinx/7.2.6-9 | 2024-06-17 08:04:14 UTC | 0h 25m 10s | - | pass | 0fbfdde6-5b56-48c9-aa10-371f3d489571 | log artifacts | ||
| 1.6.0-1build7 | pango1.0/1.54.0+ds-1 | 2024-06-11 01:34:58 UTC | 0h 09m 06s | - | pass | eb05527a-43e5-457b-b9df-254438fa1e03 | log artifacts | ||
| 1.6.0-1build7 | glibc/2.39-0ubuntu9 | 2024-06-11 00:59:30 UTC | 0h 08m 09s | - | pass | 9917faec-0a40-47d9-8eb2-26e2faa150d0 | log artifacts | ||
| 1.6.0-1build7 | glib2.0/2.80.3-1ubuntu1 | 2024-06-10 18:43:04 UTC | 0h 14m 47s | - | pass | 67c91147-921d-405b-b9cc-305019e23226 | log artifacts | ||
| 1.6.0-1build7 | sphinx/7.2.6-8 | 2024-05-25 02:58:39 UTC | 0h 30m 00s | - | pass | 069f8853-50be-4947-976f-3ded56a96301 | log artifacts | ||
| 1.6.0-1build7 | glib2.0/2.80.2-1ubuntu1 | 2024-05-20 23:36:57 UTC | 0h 17m 09s | - | pass | b782c348-d62b-478e-84bf-75cf48da6371 | log artifacts | ||
| 1.6.0-1build7 | glib2.0/2.80.1-0ubuntu2 | 2024-05-20 07:53:19 UTC | 0h 14m 53s | ginggs | pass | 0157259c-0121-4852-8d9e-67cade4e1022 | log artifacts | ||
| 1.6.0-1build7 | gdk-pixbuf/2.42.12+dfsg-1 | 2024-05-18 09:29:42 UTC | 0h 17m 33s | - | pass | 67486527-4503-4d69-a1ba-e1cd2bdc21e0 | log artifacts | ||
| 1.6.0-1build7 | glib2.0/2.80.0-10ubuntu1 | 2024-05-18 08:57:09 UTC | 0h 33m 18s | - | pass | cd8f61de-7f22-4a77-a6b0-aaea7387d048 | log artifacts | ||
| 1.6.0-1build7 | pango1.0/1.52.2+ds-1 | 2024-05-18 07:03:01 UTC | 0h 21m 14s | - | pass | 687278f3-21ac-4166-a981-099c1e2c3c27 | log artifacts | ||
| 1.6.0-1build7 | sphinx/7.2.6-7 | 2024-05-18 06:56:46 UTC | 0h 39m 36s | - | pass | e807aecf-75e5-4aff-a47d-edecc697101f | log artifacts | ||
| 1.6.0-1build7 | glibc/2.39-0ubuntu8.1 | 2024-05-02 07:11:05 UTC | 1h 24m 21s | - | pass | afa0263c-d6bf-4316-922b-7044529b178d | log artifacts |
To ease the browsing of logs, you can use this userscript with any extension supporting that, like TamperMonkey.