why3 [disco/i386]

Version Triggers Date Duration Requester Result
0.88.3-3ubuntu1 glib2.0/2.60.4-0ubuntu0.19.04.2 2019-11-22 15:23:48 UTC 0h 21m 17s - fail logartifacts
0.88.3-3ubuntu1 glib2.0/2.60.4-0ubuntu0.19.04.1 2019-06-21 00:33:04 UTC 0h 22m 54s vorlon fail logartifacts
0.88.3-3ubuntu1 glib2.0/2.60.4-0ubuntu0.19.04.1 2019-06-19 23:35:30 UTC 0h 13m 05s - fail logartifacts
0.88.3-3ubuntu1 gtk+3.0/3.24.8-1ubuntu1 2019-04-11 12:47:59 UTC 0h 16m 16s - fail logartifacts
1.2.0-1 glibc/2.29-0ubuntu2 2019-04-10 22:51:23 UTC 0h 17m 42s vorlon pass logartifacts
1.2.0-1 why3/0.88.3-3ubuntu1 2019-04-10 15:59:49 UTC 0h 13m 01s vorlon pass logartifacts
0.88.3-3ubuntu1 glibc/2.29-0ubuntu2 2019-04-10 11:24:44 UTC 0h 14m 12s xnox fail logartifacts
0.88.3-3ubuntu1 glibc/2.29-0ubuntu2 2019-04-10 01:02:51 UTC 0h 12m 56s vorlon fail logartifacts
0.88.3-3ubuntu1 glibc/2.29-0ubuntu2 2019-04-09 22:53:51 UTC 0h 13m 54s adconrad fail logartifacts
0.88.3-3ubuntu1 glibc/2.29-0ubuntu2 2019-04-09 08:01:03 UTC 0h 11m 59s - fail logartifacts
1.2.0-1 cairo/1.16.0-4 why3/1.2.0-1 2019-04-02 09:29:34 UTC 0h 14m 23s seb128 pass logartifacts
0.88.3-3ubuntu1 cairo/1.16.0-4 2019-03-22 20:48:07 UTC 0h 13m 43s - fail logartifacts
1.2.0-1 gtksourceview3/3.24.10-1 why3/1.2.0-1 2019-03-17 12:29:28 UTC 0h 26m 59s jbicha pass logartifacts
0.88.3-3ubuntu1 gtksourceview3/3.24.10-1 2019-03-17 11:06:51 UTC 0h 10m 34s - fail logartifacts
1.2.0-1 gtk+3.0/3.24.7-1ubuntu1 why3/1.2.0-1 2019-03-13 23:27:41 UTC 0h 13m 48s jbicha pass logartifacts
0.88.3-3ubuntu1 gtk+3.0/3.24.7-1ubuntu1 2019-03-13 20:59:14 UTC 0h 20m 31s - fail logartifacts
1.2.0-1 glib2.0/2.60.0-1 why3/1.2.0-1 2019-03-07 11:55:24 UTC 0h 24m 24s laney pass logartifacts
1.2.0-1 glib2.0/2.60.0-1 why3/1.2.0-1 2019-03-07 11:16:27 UTC 0h 28m 20s jbicha pass logartifacts
0.88.3-3ubuntu1 glib2.0/2.60.0-1 2019-03-06 21:39:32 UTC 0h 25m 57s - fail logartifacts
1.2.0-1 gtk+3.0/3.24.5-1ubuntu2 why3/1.2.0-1 2019-03-06 16:31:33 UTC 0h 27m 30s jbicha pass logartifacts
0.88.3-3ubuntu1 gtk+3.0/3.24.5-1ubuntu2 2019-03-06 15:12:32 UTC 0h 29m 16s - fail logartifacts
1.2.0-1 gdk-pixbuf/2.38.1+dfsg-1 why3/1.2.0-1 2019-03-06 07:19:58 UTC 0h 24m 26s jbicha pass logartifacts
0.88.3-3ubuntu1 gdk-pixbuf/2.38.1+dfsg-1 2019-03-05 20:28:17 UTC 0h 29m 28s - fail logartifacts
1.2.0-1 tex-common/6.11 2019-03-02 07:33:25 UTC 0h 28m 12s doko pass logartifacts
0.88.3-3ubuntu1 tex-common/6.11 2019-03-01 12:30:16 UTC 0h 21m 39s - fail logartifacts
1.2.0-1 glib2.0/2.59.3-2 why3/1.2.0-1 2019-02-27 23:23:27 UTC 0h 27m 32s jbicha pass logartifacts
0.88.3-3ubuntu1 glib2.0/2.59.3-2 2019-02-27 19:44:11 UTC 0h 28m 16s - fail logartifacts
1.2.0-1 coq/8.9.0-1 why3/1.2.0-1 2019-02-23 15:22:46 UTC 0h 29m 57s jbicha pass logartifacts
1.2.0-1 cairo/1.16.0-3 glibc/2.29-0ubuntu1 why3/1.2.0-1 2019-02-23 02:41:06 UTC 0h 26m 40s jbicha pass logartifacts
0.88.3-3ubuntu1 cairo/1.16.0-3 2019-02-23 00:20:21 UTC 0h 27m 13s - fail logartifacts
0.88.3-3ubuntu1 glibc/2.29-0ubuntu1 2019-02-22 21:32:33 UTC 0h 31m 45s - fail logartifacts
1.2.0-1 glib2.0/2.59.3-1 why3/1.2.0-1 2019-02-22 02:17:53 UTC 0h 32m 27s jbicha pass logartifacts
0.88.3-3ubuntu1 glib2.0/2.59.3-1 2019-02-21 03:49:45 UTC 0h 20m 46s - fail logartifacts
1.2.0-1 why3/1.2.0-1 2019-02-16 07:27:37 UTC 0h 30m 06s - pass logartifacts
0.88.3-3ubuntu1 coq/8.9.0-1 2019-02-12 12:18:26 UTC 0h 22m 23s costamagnagianfranco fail logartifacts
1.1.1-4 glib2.0/2.59.2-2 why3/1.1.1-4 2019-02-12 09:51:53 UTC 0h 19m 02s laney pass logartifacts
0.88.3-3ubuntu1 glib2.0/2.59.2-2 2019-02-12 06:22:36 UTC 0h 28m 29s - fail logartifacts
1.1.1-4 glib2.0/2.59.2-1 why3/1.1.1-4 2019-02-11 01:23:36 UTC 0h 22m 06s jbicha pass logartifacts
0.88.3-3ubuntu1 glib2.0/2.59.2-1 2019-02-11 00:06:23 UTC 0h 28m 39s - fail logartifacts
1.1.1-4 why3/1.1.1-4 2019-02-07 21:18:16 UTC 0h 15m 04s - pass logartifacts
0.88.3-3ubuntu1 coq/8.9.0-1 2019-02-07 10:00:45 UTC 0h 11m 11s - fail logartifacts
1.1.1-2 glib2.0/2.58.2-4 2019-02-01 20:47:30 UTC 0h 19m 42s vorlon pass logartifacts
0.88.3-3ubuntu1 glibc/2.28-0ubuntu1 2019-02-01 20:00:53 UTC 0h 15m 24s vorlon fail logartifacts
1.1.1-2 why3/0.88.3-3ubuntu1 2019-02-01 18:27:43 UTC 0h 13m 13s vorlon pass logartifacts
0.88.3-3ubuntu1 glib2.0/2.58.2-4 2019-02-01 17:16:05 UTC 0h 21m 39s vorlon fail logartifacts
unknown glib2.0/2.58.2-4 2019-02-01 09:46:34 UTC 0h 06m 46s - fail logartifacts
1.1.1-2 zlib/1:1.2.11.dfsg-1ubuntu2 2019-01-25 07:33:56 UTC 0h 14m 29s doko pass logartifacts
0.88.3-3ubuntu1 zlib/1:1.2.11.dfsg-1ubuntu2 2019-01-25 01:55:48 UTC 0h 21m 11s - fail logartifacts
0.88.3-3ubuntu1 glib2.0/2.59.0-1 2019-01-20 12:25:07 UTC 0h 15m 10s - pass logartifacts
1.1.1-2 cvc4/1.6-2build1 2019-01-18 13:25:45 UTC 0h 15m 23s doko pass logartifacts
1.1.1-2 coq/8.8.2-1 2019-01-18 12:11:39 UTC 0h 28m 28s doko pass logartifacts
0.88.3-3ubuntu1 cvc4/1.6-2build1 2019-01-15 21:55:09 UTC 0h 20m 49s - fail logartifacts
1.1.1-2 why3/1.1.1-2 2019-01-11 06:24:13 UTC 0h 15m 09s - pass logartifacts
0.88.3-3ubuntu1 coq/8.8.2-1 2019-01-07 15:36:03 UTC 0h 15m 55s - fail logartifacts
0.88.3-3ubuntu1 pango1.0/1.42.4-6 2018-12-28 00:29:24 UTC 0h 11m 47s - pass logartifacts
0.88.3-3ubuntu1 gdk-pixbuf/2.38.0+dfsg-7 2018-12-24 12:18:48 UTC 0h 14m 19s - pass logartifacts
1.1.1-1 why3/1.1.1-1 2018-12-18 19:51:20 UTC 0h 12m 13s - pass logartifacts
0.88.3-3ubuntu1 pango1.0/1.42.4-5 2018-12-12 20:59:02 UTC 0h 39m 53s - pass logartifacts
1.1.0-1build1 why3/1.1.0-1build1 menhir/20181113-1 2018-11-25 17:21:53 UTC 0h 08m 14s jbicha pass logartifacts
1.1.0-1build1 why3/1.1.0-1build1 2018-11-25 17:15:03 UTC 0h 06m 22s - pass logartifacts
0.88.3-3ubuntu1 menhir/20181113-1 2018-11-25 16:40:44 UTC 0h 20m 26s - pass logartifacts
0.88.3-3ubuntu1 pango1.0/1.42.4-4 2018-11-20 16:29:40 UTC 0h 16m 43s - pass logartifacts
0.88.3-3ubuntu1 alt-ergo/1.30+dfsg1-2 2018-11-14 06:58:44 UTC 0h 36m 56s - pass logartifacts
1.1.0-1 why3/1.1.0-1 2018-11-10 23:23:12 UTC 0h 08m 49s costamagnagianfranco pass logartifacts
1.1.0-1 why3/1.1.0-1 2018-11-10 21:05:24 UTC 0h 13m 09s costamagnagianfranco pass logartifacts
0.88.3-3ubuntu1 glib2.0/2.58.1-2 2018-09-22 18:29:37 UTC 0h 36m 37s - pass logartifacts