why3 [disco/ppc64el]

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