why3 [disco/amd64]

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