why3 [ testing/amd64 ]

Version Date Trigger Duration Status Results
1.1.1-1 2019-01-15 11:47:55 UTC migration-reference/0 0h 3m 20s pass debci log test log artifacts
1.1.1-1 2019-01-13 16:06:44 UTC glibc/2.28-5 unscd/0.53-1 0h 4m 17s pass debci log test log artifacts
1.1.1-1 2019-01-11 06:07:35 UTC coq/8.8.2-1 0h 3m 38s fail debci log test log artifacts
1.1.1-2 2019-01-11 05:39:06 UTC why3/1.1.1-2 coq/8.8.2-1 0h 3m 41s pass debci log test log artifacts
1.1.1-1 2019-01-10 05:02:26 UTC coq/8.8.2-1 0h 3m 55s fail debci log test log artifacts
1.1.1-1 2019-01-09 06:09:48 UTC coq/8.8.2-1 0h 3m 35s fail debci log test log artifacts
1.1.1-1 2019-01-08 05:15:00 UTC migration-reference/0 0h 4m 6s pass debci log test log artifacts
1.1.1-1 2019-01-08 05:14:48 UTC coq/8.8.2-1 0h 3m 36s fail debci log test log artifacts
1.1.1-1 2019-01-07 09:37:00 UTC coq/8.8.2-1 0h 3m 47s fail debci log test log artifacts
1.1.1-1 2019-01-03 06:40:22 UTC migration-reference/0 0h 7m 51s pass debci log test log artifacts
1.1.1-1 2018-12-30 04:25:08 UTC glibc/2.28-4 unscd/0.53-1 0h 8m 25s pass debci log test log artifacts
1.1.1-1 2018-12-27 05:10:11 UTC migration-reference/0 0h 3m 38s pass debci log test log artifacts
1.1.0-1 2018-12-19 08:32:07 UTC migration-reference/0 0h 2m 39s pass debci log test log artifacts
1.1.1-1 2018-12-18 22:25:43 UTC why3/1.1.1-1 0h 3m 53s pass debci log test log artifacts
1.1.0-1 2018-12-17 10:23:19 UTC glibc/2.28-3 unscd/0.53-1 0h 4m 17s pass debci log test log artifacts
1.1.0-1 2018-12-12 07:31:43 UTC migration-reference/0 0h 2m 38s pass debci log test log artifacts
1.1.0-1 2018-12-07 05:22:47 UTC glibc/2.28-2 cstore-fdw/1.6.2-1 didjvu/0.8.2-1 grep/3.1-3 link-grammar/5.5.1-4 natsort/5.4.1-1 ocrodjvu/0.10.4-1 orafce/3.6.1-2 pdf2djvu/0.9.11-1 php-horde-util/2.5.8-3 postgresql-11/11.1-1 python2.7/2.7.15-5 python3.6/3.6.7-1 python3.7/3.7.1-1 r-cran-later/0.7.5+dfsg-2 reprotest/0.7.8 symfony/3.4.19+dfsg-1 systemd/239-14 tracker/2.1.6-4 twig/2.5.0-1 vis/0.5+ts-3 0h 5m 42s pass debci log test log artifacts
1.1.0-1 2018-12-05 06:54:55 UTC migration-reference/0 0h 2m 56s pass debci log test log artifacts
1.1.0-1 2018-11-30 03:44:17 UTC glibc/2.28-1 cstore-fdw/1.6.2-1 didjvu/0.8.2-1 grep/3.1-2 link-grammar/5.5.1-2 natsort/5.4.1-1 ocrodjvu/0.10.4-1 orafce/3.6.1-2 pdf2djvu/0.9.11-1 php-horde-util/2.5.8-3 postgresql-11/11.1-1 python2.7/2.7.15-5 python3.6/3.6.7-1 python3.7/3.7.1-1 reprotest/0.7.8 symfony/3.4.19+dfsg-1 systemd/239-13 tracker-miners/2.1.5-3 tracker/2.1.6-3 twig/2.5.0-1 unscd/0.53-1 vis/0.5+ts-3 0h 4m 28s pass debci log test log artifacts
1.1.0-1 2018-11-28 05:25:41 UTC migration-reference/0 0h 3m 0s pass debci log test log artifacts
1.1.0-1 2018-11-20 17:42:31 UTC migration-reference/0 0h 4m 26s pass debci log test log artifacts
1.1.0-1 2018-11-15 03:34:25 UTC menhir/20181113-1 0h 5m 6s pass debci log test log artifacts
1.1.0-1 2018-11-14 03:16:05 UTC alt-ergo/1.30+dfsg1-2 0h 3m 50s pass debci log test log artifacts
1.1.0-1 2018-11-13 10:29:26 UTC migration-reference/0 0h 2m 51s pass debci log test log artifacts
1.0.0-2 2018-11-06 09:26:20 UTC migration-reference/0 0h 3m 32s fail debci log test log artifacts
1.1.0-1 2018-11-06 04:28:04 UTC why3/1.1.0-1 0h 3m 47s pass debci log test log artifacts
1.0.0-2 2018-11-06 04:26:39 UTC fontconfig/2.13.1-2 0h 5m 9s fail debci log test log artifacts
1.0.0-2 2018-10-30 14:23:53 UTC glibc/2.27-8 unscd/0.53-1 0h 5m 2s fail debci log test log artifacts
1.0.0-2 2018-10-30 01:00:03 UTC migration-reference/0 0h 3m 47s fail debci log test log artifacts
1.0.0-2 2018-10-29 17:52:18 UTC glibc/2.27-7 unscd/0.53-1 0h 5m 13s fail debci log test log artifacts
1.0.0-2 2018-10-22 22:44:35 UTC migration-reference/0 0h 3m 47s fail debci log test log artifacts
1.0.0-2 2018-10-20 22:52:21 UTC cairo/1.16.0-1 0h 4m 44s fail debci log test log artifacts
1.0.0-2 2018-10-18 21:44:20 UTC ncurses/6.1+20181013-1 0h 5m 23s fail debci log test log artifacts
1.0.0-2 2018-10-15 21:30:22 UTC migration-reference/0 0h 4m 0s fail debci log test log artifacts
1.0.0-2 2018-10-08 20:26:02 UTC migration-reference/0 0h 3m 51s fail debci log test log artifacts
1.0.0-2 2018-10-01 19:38:04 UTC migration-reference/0 0h 3m 55s fail debci log test log artifacts
1.0.0-2 2018-09-26 16:26:28 UTC fontconfig/2.13.1-1 0h 4m 54s fail debci log test log artifacts
1.0.0-2 2018-09-24 18:29:05 UTC migration-reference/0 0h 3m 52s fail debci log test log artifacts
1.0.0-2 2018-09-22 11:04:20 UTC glib2.0/2.58.1-2 0h 4m 52s fail debci log test log artifacts
1.0.0-2 2018-09-19 15:30:07 UTC gdk-pixbuf/2.38.0+dfsg-6 glib2.0/2.58.0-4 libgtk3-perl/0.034-2 0h 4m 50s fail debci log test log artifacts
1.0.0-2 2018-09-18 04:14:36 UTC glib2.0/2.58.0-4 0h 5m 1s fail debci log test log artifacts
1.0.0-2 2018-09-17 17:21:30 UTC migration-reference/0 0h 3m 44s fail debci log test log artifacts
1.0.0-2 2018-09-13 15:26:55 UTC gdk-pixbuf/2.38.0+dfsg-5 glib2.0/2.58.0-3 0h 5m 13s fail debci log test log artifacts
1.0.0-2 2018-09-12 03:15:55 UTC z3/4.4.1-0.4 0h 5m 10s fail debci log test log artifacts
1.0.0-2 2018-09-10 16:50:04 UTC migration-reference/0 0h 3m 50s fail debci log test log artifacts
1.0.0-2 2018-09-09 15:22:24 UTC gdk-pixbuf/2.38.0+dfsg-4 glib2.0/2.58.0-3 0h 4m 53s fail debci log test log artifacts
1.0.0-2 2018-09-08 21:20:09 UTC atk1.0/2.30.0-1 glib2.0/2.58.0-3 0h 4m 55s fail debci log test log artifacts
1.0.0-2 2018-09-08 15:36:24 UTC gdk-pixbuf/2.38.0+dfsg-3 glib2.0/2.58.0-3 0h 5m 0s fail debci log test log artifacts
1.0.0-2 2018-09-07 23:01:35 UTC gdk-pixbuf/2.38.0+dfsg-2 glib2.0/2.58.0-3 0h 4m 57s fail debci log test log artifacts
1.0.0-2 2018-09-07 21:54:50 UTC glib2.0/2.58.0-3 0h 4m 54s fail debci log test log artifacts
1.0.0-2 2018-09-06 21:39:27 UTC pango1.0/1.42.4-3 glib2.0/2.58.0-2 0h 4m 51s fail debci log test log artifacts
1.0.0-2 2018-09-05 15:05:20 UTC glibc/2.27-6 0h 5m 5s fail debci log test log artifacts
1.0.0-2 2018-09-05 01:16:37 UTC glib2.0/2.58.0-2 0h 5m 4s fail debci log test log artifacts
1.0.0-2 2018-09-03 15:40:13 UTC migration-reference/0 0h 3m 51s fail debci log test log artifacts
1.0.0-2 2018-09-02 22:17:31 UTC glib2.0/2.58.0-1 0h 4m 55s fail debci log test log artifacts
1.0.0-2 2018-09-02 15:13:56 UTC tex-common/6.10 0h 5m 0s fail debci log test log artifacts
1.0.0-2 2018-08-28 15:37:32 UTC pango1.0/1.42.4-2 0h 5m 11s fail debci log test log artifacts
1.0.0-2 2018-08-27 14:34:52 UTC migration-reference/0 0h 3m 39s fail debci log test log artifacts
1.0.0-2 2018-08-24 03:27:54 UTC cairo/1.15.12-1 0h 5m 1s fail debci log test log artifacts
1.0.0-2 2018-08-21 22:06:29 UTC gtk+2.0/2.24.32-3 0h 6m 44s fail debci log test log artifacts
1.0.0-2 2018-08-21 21:34:21 UTC gdk-pixbuf/2.36.12-2 0h 6m 41s fail debci log test log artifacts
1.0.0-2 2018-08-21 04:00:55 UTC pango1.0/1.42.4-1 0h 5m 13s fail debci log test log artifacts
1.0.0-2 2018-08-20 13:20:36 UTC migration-reference/0 0h 3m 48s fail
1.0.0-1 2018-08-14 03:17:45 UTC cvc4/1.6-2 0h 6m 22s fail
1.0.0-1 2018-08-13 11:24:07 UTC migration-reference/0 0h 3m 31s fail
1.0.0-2 2018-08-13 08:20:46 UTC why3/1.0.0-2 0h 6m 1s fail
1.0.0-1 2018-08-12 03:19:43 UTC cvc4/1.6-1 0h 4m 42s fail
1.0.0-1 2018-08-06 10:37:56 UTC migration-reference/0 0h 4m 17s fail
1.0.0-1 2018-07-30 09:36:36 UTC migration-reference/0 0h 4m 1s fail
1.0.0-1 2018-07-26 17:05:56 UTC gdk-pixbuf/2.36.12-1 0h 4m 28s fail
1.0.0-1 2018-07-23 08:40:07 UTC migration-reference/0 0h 3m 31s fail
0.88.3-3 2018-07-20 04:20:55 UTC menhir/20180530-2 0h 4m 27s pass
0.88.3-3 2018-07-18 04:02:58 UTC ncurses/6.1 20180714-1 0h 4m 31s pass
0.88.3-3 2018-07-17 12:48:40 UTC glibc/2.27-5 0h 4m 33s pass
0.88.3-3 2018-07-16 06:27:36 UTC migration-reference/0 0h 3m 37s fail
0.88.3-3 2018-07-09 04:31:32 UTC migration-reference/0 0h 3m 41s fail
0.88.3-3 2018-07-08 21:23:48 UTC glibc/2.27-4 0h 5m 29s pass
0.88.3-3 2018-06-30 06:19:30 UTC migration-reference/0 0h 1m 0s fail
0.88.3-3 2018-06-28 15:27:21 UTC pango1.0/1.42.1-2 0h 4m 42s pass
0.88.3-3 2018-06-28 07:40:32 UTC menhir/20180530-1 0h 4m 41s pass
1.0.0-1 2018-06-28 03:22:14 UTC why3/1.0.0-1 0h 4m 15s pass
0.88.3-3 2018-06-27 16:49:49 UTC gtk 2.0/2.24.32-2 0h 10m 45s pass
0.88.3-3 2018-06-22 21:20:49 UTC migration-reference/0 0h 0m 50s fail
0.88.3-3 2018-06-11 03:18:25 UTC camlzip/1.07-2 0h 4m 12s pass
0.88.3-3 2018-06-09 04:07:44 UTC camlzip/1.07-1 0h 4m 33s pass
0.88.3-3 2018-05-28 13:24:37 UTC why3/0.88.3-3 0h 4m 54s pass
0.88.3-2 2018-05-28 10:20:30 UTC why3/0.88.3-3 0h 4m 10s pass
0.88.3-2 2018-05-28 09:15:18 UTC why3/0.88.3-3 0h 4m 27s pass
0.88.3-2 2018-05-28 06:22:26 UTC why3/0.88.3-3 0h 4m 44s pass
0.88.3-2 2018-05-28 01:16:38 UTC why3/0.88.3-3 0h 4m 51s pass
0.88.3-2 2018-05-27 23:14:26 UTC why3/0.88.3-3 0h 4m 30s pass
0.88.3-2 2018-05-27 18:17:55 UTC why3/0.88.3-3 0h 4m 44s pass
0.88.3-2 2018-05-27 17:12:50 UTC why3/0.88.3-3 0h 4m 20s pass
0.88.3-2 2018-05-27 15:15:21 UTC why3/0.88.3-3 0h 4m 13s pass
0.88.3-2 2018-05-22 18:49:03 UTC ncurses/6.1 20180210-4 0h 4m 30s pass
0.88.3-2 2018-05-14 18:00:11 UTC fontconfig/2.13.0-5 0h 4m 32s pass
0.88.3-2 2018-05-12 02:42:04 UTC ocaml-zarith/1.7-1 0h 4m 34s pass
0.88.3-2 2018-05-11 11:08:34 UTC ncurses/6.1 20180210-3 0h 4m 31s pass
0.88.3-2 2018-04-30 09:03:57 UTC spass/3.7-4 0h 4m 24s pass
0.88.3-2 2018-04-30 01:52:53 UTC cvc3/2.4.1-5.1 0h 4m 39s pass
0.88.3-2 2018-04-29 22:10:33 UTC pango1.0/1.42.1-1 0h 4m 39s pass
0.88.3-2 2018-04-28 10:03:51 UTC zlib/1:1.2.11.dfsg-1 0h 4m 32s pass
0.88.3-2 2018-04-27 03:55:07 UTC ncurses/6.1 20180210-2 0h 4m 8s pass
0.88.3-2 2018-04-19 04:48:34 UTC cairo/1.15.10-3 0h 4m 43s pass
0.88.3-2 2018-04-14 07:38:20 UTC fontconfig/2.13.0-4 0h 4m 30s pass
0.88.3-1 2018-04-12 11:52:40 UTC fontconfig/2.13.0-2 0h 4m 13s pass
0.88.3-1 2018-04-11 14:29:35 UTC fontconfig/2.13.0-1 0h 4m 20s pass
0.88.3-1 2018-04-11 13:03:12 UTC glib2.0/2.56.1-2 0h 4m 35s pass
0.88.3-1 2018-04-10 07:55:21 UTC glib2.0/2.56.1-1 0h 4m 18s pass
0.88.3-2 2018-04-09 15:58:10 UTC why3/0.88.3-2 0h 4m 16s pass
0.88.3-1 2018-04-09 00:22:38 UTC pango1.0/1.42.1-1 0h 4m 31s pass
0.88.3-1 2018-04-08 10:05:04 UTC glib2.0/2.56.0-6 0h 4m 39s pass
0.88.3-1 2018-04-03 04:32:16 UTC glib2.0/2.56.0-5 0h 4m 34s pass
0.88.3-1 2018-04-02 23:22:20 UTC cairo/1.15.10-2 0h 4m 43s pass
0.88.3-1 2018-04-02 22:28:15 UTC spass/3.7-4 0h 4m 10s pass
0.88.3-1 2018-04-02 13:59:49 UTC cvc3/2.4.1-5.1 0h 4m 38s pass
0.88.3-1 2018-04-01 06:49:54 UTC glibc/2.27-3 0h 1m 50s fail
n/a 2018-03-20 01:28:25 UTC gdk-pixbuf/2.36.11-2 0h 0m 14s tmpfail
n/a 2018-03-20 01:08:15 UTC glib2.0/2.56.0-2 0h 0m 11s tmpfail
n/a 2018-03-20 00:49:51 UTC glib2.0/2.56.0-2 0h 0m 0s tmpfail
n/a 2018-03-20 00:42:54 UTC gdk-pixbuf/2.36.11-2 0h 0m 15s tmpfail
n/a 2018-03-19 23:37:30 UTC glib2.0/2.56.0-2 0h 0m 0s tmpfail
n/a 2018-03-19 23:34:27 UTC cairo/1.15.10-2 0h 0m 0s tmpfail
n/a 2018-03-19 23:33:56 UTC spass/3.7-4 0h 0m 0s tmpfail
n/a 2018-03-19 23:27:48 UTC gdk-pixbuf/2.36.11-2 0h 0m 0s tmpfail
n/a 2018-03-16 09:28:24 UTC atk1.0/2.28.1-1 0h 0m 16s tmpfail

Automate:

# latest status of the package
$ curl https://ci.debian.net/data/packages/testing/amd64/w/why3/latest.json

# latest autopkgtest log of the package
$ curl https://ci.debian.net/data/packages/testing/amd64/w/why3/latest-autopkgtest/log.gz

# test run history of the package
$ curl https://ci.debian.net/data/packages/testing/amd64/w/why3/history.json