why3 [oracular/arm64]
| 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:20:37 UTC | 0h 15m 23s | - | pass | 00394ae5-5c93-4cfc-8749-b6015c606d73 | log artifacts | ||
| 1.6.0-1build8 | cairo/1.18.2-1 | 2024-09-06 15:03:26 UTC | 0h 11m 47s | - | pass | edd86707-7d48-4aea-9e36-e5a542aeb6e4 | 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:33:31 UTC | 0h 36m 16s | - | pass | 88e5e4a5-1e5e-496b-bb07-32d9b4ec8e75 | log artifacts | ||
| 1.6.0-1build8 | gtk+3.0/3.24.43-3ubuntu2 | 2024-08-31 00:40:50 UTC | 0h 23m 15s | - | pass | 4bf0e992-b898-4e8a-b0d6-8dc5ff58cd59 | log artifacts | ||
| 1.6.0-1build8 | pango1.0/1.54.0+ds-2 | 2024-08-30 03:12:58 UTC | 0h 19m 38s | - | pass | f1f7f714-4c0f-46e3-8fa2-ff8e66192f4c | log artifacts | ||
| 1.6.0-1build8 | glib2.0/2.82.0-1 | 2024-08-26 22:33:49 UTC | 0h 21m 31s | - | pass | 0116b82e-9e35-49d8-a195-418051a48dab | log artifacts | ||
| 1.6.0-1build8 | sphinx/7.4.7-3 | 2024-08-26 12:56:04 UTC | 0h 35m 51s | - | pass | 99594b98-225b-4884-90ee-d001153f9463 | log artifacts | ||
| 1.6.0-1build8 | gtksourceview3/3.24.11-3 | 2024-08-23 12:07:49 UTC | 0h 11m 46s | - | pass | df8a0a42-3cf9-4809-83c9-c167288dd7a4 | 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:44:16 UTC | 0h 13m 43s | - | pass | cb057761-282d-440f-948b-a8eb5e4fbc8a | log artifacts | ||
| 1.6.0-1build8 | glib2.0/2.81.2-1 util-linux/2.40.2-1ubuntu1 | 2024-08-20 17:04:20 UTC | 0h 11m 51s | - | pass | 9b50ef22-57a8-4f1c-88d2-a5181d187202 | 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-14 23:44:46 UTC | 0h 22m 34s | - | pass | 4116a680-9fce-4d88-895c-56f8a1c04894 | 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:45:24 UTC | 0h 44m 22s | - | pass | 32390f49-a69b-4f64-a423-d23c9dfacac4 | 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:56:25 UTC | 1h 09m 51s | - | pass | 29400add-ad85-4904-a925-2e1c028300b7 | 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:53:21 UTC | 1h 05m 28s | - | pass | 5230a0d4-0617-42c9-b6bc-6d51270db24d | 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:49:55 UTC | 1h 10m 54s | - | pass | f9618932-2de6-4396-b549-af0fb6f1187b | 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 17:43:00 UTC | 1h 01m 29s | - | pass | b9ebf66a-d900-4bc1-a44e-7ab1e3a50fc8 | 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:20:13 UTC | 1h 30m 02s | - | pass | 309bf3c5-b49e-4389-b4c0-c85c3534227f | log artifacts | ||
| 1.6.0-1build8 | zlib/1:1.3.dfsg+really1.3.1-1ubuntu1 | 2024-08-14 08:15:17 UTC | 1h 01m 07s | - | pass | 95526acf-a586-42fc-a7b6-d86b07015c4d | log artifacts | ||
| 1.6.0-1build8 | glib2.0/2.81.1-3 | 2024-08-13 18:58:34 UTC | 0h 30m 51s | - | pass | cc76d56d-ae89-47bc-8ee3-465e6aa0567c | 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-09 01:35:50 UTC | 2h 30m 20s | - | pass | c8e02947-123e-488c-9f8d-2cd0b723f9a4 | log artifacts | ||
| 1.6.0-1build8 | sphinx/7.4.7-2 | 2024-08-06 00:14:52 UTC | 0h 08m 26s | - | pass | 667dd8c2-3b0d-4c77-9a9b-472e057c42ee | log artifacts | ||
| 1.6.0-1build8 | ocaml-cairo2/0.6.4+dfsg-4 | 2024-08-03 16:02:07 UTC | 0h 08m 36s | - | pass | 5cd56a37-e574-4cbd-82a5-d0fc416d51e1 | log artifacts | ||
| 1.6.0-1build8 | menhir/20231231+ds-2 | 2024-08-03 15:07:18 UTC | 0h 36m 06s | - | pass | 71eea568-63bc-456f-b78c-14fd669ca076 | log artifacts | ||
| 1.6.0-1build8 | glib2.0/2.81.1-2ubuntu1 | 2024-08-03 12:31:15 UTC | 0h 11m 57s | - | pass | 08a99f45-35e5-485a-b995-a523cdd31121 | log artifacts | ||
| 1.6.0-1build8 | zlib/1:1.3.dfsg-3.1ubuntu4 | 2024-08-03 00:30:34 UTC | 0h 27m 34s | - | pass | 65a911ea-03bf-46b1-8afe-3136c9fa3bb7 | log artifacts | ||
| 1.6.0-1build8 | sphinx/7.3.7-4 | 2024-08-01 04:37:40 UTC | 0h 46m 44s | - | pass | 908a15fb-0bc0-4852-a764-74dbae7753bf | log artifacts | ||
| 1.6.0-1build8 | glib2.0/2.81.0-1ubuntu2 | 2024-07-27 20:37:24 UTC | 0h 08m 15s | - | pass | beb6490b-77ce-4cc3-b358-670638f1e92d | log artifacts | ||
| 1.6.0-1build8 | glib2.0/2.81.0-1ubuntu1 | 2024-07-27 17:23:25 UTC | 0h 17m 27s | - | pass | febc4422-b4d7-447a-9a8c-19cb333c2b9e | log artifacts | ||
| 1.6.0-1build8 | camlzip/1.12-2 | 2024-07-21 13:26:44 UTC | 0h 09m 49s | - | pass | 805296fa-f9bd-48e4-a1ad-43668dcca417 | log artifacts | ||
| 1.6.0-1build8 | lablgtk3/3.1.5-1 | 2024-07-13 23:06:02 UTC | 0h 12m 50s | - | pass | dbe7c734-9fc3-4fc2-881d-4db6886511ac | log artifacts | ||
| 1.6.0-1build8 | why3/1.6.0-1build8 camlzip/1.12-1 | 2024-07-13 10:17:58 UTC | 0h 07m 19s | - | pass | 7bc74cea-a731-49e5-91af-0753363ebc0e | log artifacts | ||
| 1.6.0-1build7 | camlzip/1.12-1 | 2024-07-13 10:10:52 UTC | 0h 07m 06s | - | pass | bc4d9d19-84fd-4d5f-b043-f05ee0261fc1 | log artifacts | ||
| 1.6.0-1build7 | glibc/2.39-3.1ubuntu3 | 2024-07-13 08:57:35 UTC | 0h 35m 18s | - | pass | 3379c0b3-6b8b-4364-8f30-3af357dbf2e6 | log artifacts | ||
| 1.6.0-1build7 | gtk+3.0/3.24.43-1ubuntu1 | 2024-07-11 01:43:15 UTC | 0h 15m 08s | - | pass | 38f61d5b-0c15-4280-ace6-2f1b2a878a6b | log artifacts | ||
| 1.6.0-1build7 | glib2.0/2.80.4-1ubuntu1 | 2024-07-09 21:00:39 UTC | 0h 14m 45s | - | pass | 4f469f7e-bc0b-46ec-8cd1-7a833d633c65 | log artifacts | ||
| 1.6.0-1build7 | sphinx/7.3.7-3 | 2024-07-03 23:14:15 UTC | 0h 26m 50s | - | pass | 56a25e8d-ba01-4f3b-80e1-7d688d1ca202 | log artifacts | ||
| 1.6.0-1build7 | glibc/2.39-3.1ubuntu2 | 2024-06-29 05:27:12 UTC | 0h 21m 37s | - | pass | d027dc0e-38cf-43f9-9259-492bad4fe16f | log artifacts | ||
| 1.6.0-1build7 | sphinx/7.2.6-9 | 2024-06-17 05:53:47 UTC | 0h 17m 34s | - | pass | a82a0e67-345a-48ca-812e-92a058f1862d | log artifacts | ||
| 1.6.0-1build7 | glibc/2.39-0ubuntu9 | 2024-06-13 21:34:36 UTC | 1h 26m 21s | jbicha | pass | 4d184b5e-0013-455f-b038-945e22727c80 | log artifacts | ||
| 1.6.0-1build7 | glibc/2.39-0ubuntu9 | 2024-06-13 18:24:04 UTC | 1h 09m 50s | jbicha | pass | 4a19965d-d840-45b5-a261-3863c5848907 | log artifacts | ||
| 1.6.0-1build7 | pango1.0/1.54.0+ds-1 | 2024-06-13 18:05:37 UTC | 1h 11m 00s | - | pass | de780849-71a5-4db8-a9db-add3b638f232 | log artifacts | ||
| 1.6.0-1build7 | glibc/2.39-0ubuntu9 | 2024-06-13 13:16:11 UTC | 1h 11m 12s | - | fail | 801180a8-73cf-4471-97fe-6d2aeccbd7d5 | log artifacts | ||
| 1.6.0-1build7 | glib2.0/2.80.3-1ubuntu1 | 2024-06-11 19:00:42 UTC | 1h 08m 13s | jbicha | pass | f16c98a1-84f2-4d40-87cd-037e7fa9ccfc | log artifacts | ||
| 1.6.0-1build7 | glib2.0/2.80.3-1ubuntu1 | 2024-06-11 06:31:38 UTC | 1h 55m 56s | - | tmpfail | 90163fac-d9cf-4734-afb4-700cb7ff675a | log artifacts | ||
| 1.6.0-1build7 | sphinx/7.2.6-8 | 2024-05-26 11:37:36 UTC | 0h 30m 18s | ginggs | pass | d535fed1-8571-465c-a7d6-9da29e2872ad | log artifacts | ||
| unknown | sphinx/7.2.6-8 | 2024-05-25 18:12:57 UTC | 0h 10m 55s | - | tmpfail | d2c5e1f8-8422-46d6-b192-ab9a6477706a | log artifacts | ♻ | |
| 1.6.0-1build7 | glib2.0/2.80.2-1ubuntu1 | 2024-05-21 02:22:53 UTC | 0h 30m 53s | - | pass | c7a31267-4ed5-4811-8641-6b794f1caf99 | log artifacts | ||
| 1.6.0-1build7 | gdk-pixbuf/2.42.12+dfsg-1 | 2024-05-17 11:29:09 UTC | 0h 15m 19s | - | pass | 40fb1805-20d2-4795-8cd7-597c4b4f2497 | log artifacts | ||
| 1.6.0-1build7 | sphinx/7.2.6-7 | 2024-05-13 11:03:19 UTC | 0h 20m 47s | ginggs | pass | d9b3876c-6da0-496e-93f9-4fa1e589cee4 | log artifacts | ||
| 1.6.0-1build7 | sphinx/7.2.6-7 | 2024-05-13 07:59:17 UTC | 1h 00m 06s | ginggs | pass | 917335ca-e351-4296-8df0-932960303540 | log artifacts | ||
| unknown | sphinx/7.2.6-7 | 2024-05-12 14:42:12 UTC | 0h 09m 17s | - | tmpfail | 283253a8-419b-45bf-add2-219ab7ba0ab1 | log artifacts | ♻ | |
| 1.6.0-1build7 | glib2.0/2.80.1-0ubuntu2 | 2024-05-08 17:26:13 UTC | 0h 33m 20s | - | pass | e3b369c3-5faf-405a-bbcf-df7d1f7f8126 | log artifacts | ||
| 1.6.0-1build7 | glib2.0/2.80.0-10ubuntu1 | 2024-05-08 01:58:12 UTC | 0h 34m 39s | - | pass | 785d1d0c-25b9-4f30-ba11-c9bbe74be23a | log artifacts | ||
| 1.6.0-1build7 | pango1.0/1.52.2+ds-1 | 2024-05-05 07:23:52 UTC | 0h 22m 52s | - | pass | bf3cdc16-52ad-4097-a71e-4d63f13d63b8 | log artifacts | ||
| 1.6.0-1build7 | glibc/2.39-0ubuntu8.1 | 2024-05-01 08:11:55 UTC | 0h 22m 24s | - | pass | 0d552cd1-2a60-49d0-9c66-f92724ce301a | log artifacts |
To ease the browsing of logs, you can use this userscript with any extension supporting that, like TamperMonkey.