Jason Gross

Builds for Coq Daily Builds (v8.7)

Coq Daily Builds (v8.7)
Builds

	~jgross-h/coq/+git/coq recipe build in ubuntu impish Build started on 2022-07-03 on lcy02-amd64-071 and finished on 2022-07-03 taking 1 hour — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu jammy Build started on 2022-07-03 on lcy02-amd64-042 and finished on 2022-07-03 taking 1 hour — see the log
	amd64 build of coq 8.7~git~202207030519+18489-0~daily308-b4ccafd1ff~ubuntu14.04.1 in ubuntu trusty RELEASE Build started on 2022-07-03 on lcy02-amd64-099 and finished on 2022-07-03 taking 12 minutes — see the log
	amd64 build of coq 8.7~git~202207030518+18489-0~daily308-b4ccafd1ff~ubuntu20.04.1 in ubuntu focal RELEASE Build started on 2022-07-03 on lcy02-amd64-063 and finished on 2022-07-03 taking 12 minutes — see the log
	i386 build of coq 8.7~git~202207030519+18489-0~daily308-b4ccafd1ff~ubuntu14.04.1 in ubuntu trusty RELEASE Build started on 2022-07-03 on lcy02-amd64-068 and finished on 2022-07-03 taking 11 minutes — see the log
	amd64 build of coq 8.7~git~202207030518+18489-0~daily308-b4ccafd1ff~ubuntu16.04.1 in ubuntu xenial RELEASE Build started on 2022-07-03 on lcy02-amd64-050 and finished on 2022-07-03 taking 11 minutes — see the log
	i386 build of coq 8.7~git~202207030518+18489-0~daily308-b4ccafd1ff~ubuntu16.04.1 in ubuntu xenial RELEASE Build started on 2022-07-03 on lcy02-amd64-003 and finished on 2022-07-03 taking 11 minutes — see the log
	amd64 build of coq 8.7~git~202207030517+18489-0~daily308-b4ccafd1ff~ubuntu18.04.1 in ubuntu bionic RELEASE Build started on 2022-07-03 on lcy02-amd64-098 and finished on 2022-07-03 taking 11 minutes — see the log
	i386 build of coq 8.7~git~202207030517+18489-0~daily308-b4ccafd1ff~ubuntu18.04.1 in ubuntu bionic RELEASE Build started on 2022-07-03 on lcy02-amd64-058 and finished on 2022-07-03 taking 10 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu trusty Build started on 2022-07-03 on lcy02-amd64-055 and finished on 2022-07-03 taking 5 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu xenial Build started on 2022-07-03 on lcy02-amd64-113 and finished on 2022-07-03 taking 5 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu focal Build started on 2022-07-03 on lcy02-amd64-080 and finished on 2022-07-03 taking 4 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu bionic Build started on 2022-07-03 on lcy02-amd64-089 and finished on 2022-07-03 taking 4 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu kinetic Build started on 2022-07-03 on lcy02-amd64-056 and finished on 2022-07-03 taking 3 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu impish Build started on 2022-05-02 on lgw01-amd64-007 and finished on 2022-05-02 taking 9 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu jammy Build started on 2022-05-02 on lgw01-amd64-050 and finished on 2022-05-02 taking 8 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu kinetic Build started on 2022-05-02 on lgw01-amd64-024 and finished on 2022-05-02 taking 4 minutes — see the log
	amd64 build of coq 8.7~git~202102031606+18488-0~daily309-81ab3a7d50~ubuntu20.10.1 in ubuntu groovy RELEASE Build started on 2021-02-03 on lgw01-amd64-023 and finished on 2021-02-03 taking 33 minutes — see the log
	i386 build of coq 8.7~git~202102031424+18488-0~daily308-81ab3a7d50~ubuntu14.04.1 in ubuntu trusty RELEASE Build started on 2021-02-03 on lgw01-amd64-056 and finished on 2021-02-03 taking 31 minutes — see the log
	amd64 build of coq 8.7~git~202102031425+18488-0~daily308-81ab3a7d50~ubuntu20.04.1 in ubuntu focal RELEASE Build started on 2021-02-03 on lcy01-amd64-003 and finished on 2021-02-03 taking 27 minutes — see the log
	amd64 build of coq 8.7~git~202102031424+18488-0~daily308-81ab3a7d50~ubuntu14.04.1 in ubuntu trusty RELEASE Build started on 2021-02-03 on lcy01-amd64-012 and finished on 2021-02-03 taking 27 minutes — see the log
	i386 build of coq 8.7~git~202102031424+18488-0~daily308-81ab3a7d50~ubuntu18.04.1 in ubuntu bionic RELEASE Build started on 2021-02-03 on lgw01-amd64-055 and finished on 2021-02-03 taking 23 minutes — see the log
	amd64 build of coq 8.7~git~202102031422+18488-0~daily308-81ab3a7d50~ubuntu16.04.1 in ubuntu xenial RELEASE Build started on 2021-02-03 on lgw01-amd64-047 and finished on 2021-02-03 taking 21 minutes — see the log
	amd64 build of coq 8.7~git~202102031424+18488-0~daily308-81ab3a7d50~ubuntu18.04.1 in ubuntu bionic RELEASE Build started on 2021-02-03 on lgw01-amd64-051 and finished on 2021-02-03 taking 16 minutes — see the log
	i386 build of coq 8.7~git~202102031420+18488-0~daily308-81ab3a7d50~ubuntu12.04.1 in ubuntu precise RELEASE Build started on 2021-02-03 on lgw01-amd64-029 and finished on 2021-02-03 taking 15 minutes — see the log
	amd64 build of coq 8.7~git~202102031420+18488-0~daily308-81ab3a7d50~ubuntu12.04.1 in ubuntu precise RELEASE Build started on 2021-02-03 on lcy01-amd64-002 and finished on 2021-02-03 taking 15 minutes — see the log
	i386 build of coq 8.7~git~202102031422+18488-0~daily308-81ab3a7d50~ubuntu16.04.1 in ubuntu xenial RELEASE Build started on 2021-02-03 on lgw01-amd64-011 and finished on 2021-02-03 taking 14 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu groovy Build started on 2021-02-03 on lcy01-amd64-030 and finished on 2021-02-03 taking 8 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu hirsute Build started on 2021-02-03 on lgw01-amd64-003 and finished on 2021-02-03 taking 5 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu focal Build started on 2021-02-03 on lgw01-amd64-050 and finished on 2021-02-03 taking 11 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu trusty Build started on 2021-02-03 on lcy01-amd64-022 and finished on 2021-02-03 taking 11 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu bionic Build started on 2021-02-03 on lgw01-amd64-015 and finished on 2021-02-03 taking 7 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu xenial Build started on 2021-02-03 on lgw01-amd64-056 and finished on 2021-02-03 taking 6 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu precise Build started on 2021-02-03 on lgw01-amd64-041 and finished on 2021-02-03 taking 7 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu groovy Build started on 2020-05-19 on lcy01-amd64-014 and finished on 2020-05-19 taking 11 minutes — see the log
	amd64 build of coq 8.7~git~201908060405+18488-0~daily307-81ab3a7~ubuntu19.10.1 in ubuntu eoan RELEASE Build started on 2019-08-06 on lgw01-amd64-003 and finished on 2019-08-06 taking 15 minutes — see the log
	i386 build of coq 8.7~git~201908060405+18488-0~daily307-81ab3a7~ubuntu19.10.1 in ubuntu eoan RELEASE Build started on 2019-08-06 on lgw01-amd64-005 and finished on 2019-08-06 taking 14 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu eoan Build started on 2019-08-06 on lgw01-amd64-026 and finished on 2019-08-06 taking 12 minutes — see the log
	amd64 build of coq 8.7~git~201901221909+18488-0~daily307~ubuntu19.04.1 in ubuntu disco RELEASE Build started on 2019-01-22 on lgw01-amd64-056 and finished on 2019-01-22 taking 34 minutes — see the log
	i386 build of coq 8.7~git~201901221909+18488-0~daily307~ubuntu19.04.1 in ubuntu disco RELEASE Build started on 2019-01-22 on lcy01-amd64-019 and finished on 2019-01-22 taking 14 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu disco Build started on 2019-01-22 on lgw01-amd64-013 and finished on 2019-01-22 taking 5 minutes — see the log
	i386 build of coq 8.7~git~201808171550+18488-0~daily307~ubuntu18.10.1 in ubuntu cosmic RELEASE Build started on 2018-08-17 on lcy01-amd64-012 and finished on 2018-08-17 taking 52 minutes — see the log
	i386 build of coq 8.7~git~201808171551+18488-0~daily307~ubuntu16.04.1 in ubuntu xenial RELEASE Build started on 2018-08-17 on lgw01-amd64-035 and finished on 2018-08-17 taking 47 minutes — see the log
	amd64 build of coq 8.7~git~201808171550+18488-0~daily307~ubuntu18.10.1 in ubuntu cosmic RELEASE Build started on 2018-08-17 on lgw01-amd64-006 and finished on 2018-08-17 taking 41 minutes — see the log
	amd64 build of coq 8.7~git~201808171548+18488-0~daily307~ubuntu18.04.1 in ubuntu bionic RELEASE Build started on 2018-08-17 on lgw01-amd64-026 and finished on 2018-08-17 taking 44 minutes — see the log
	i386 build of coq 8.7~git~201808171548+18488-0~daily307~ubuntu14.04.1 in ubuntu trusty RELEASE Build started on 2018-08-17 on lgw01-amd64-045 and finished on 2018-08-17 taking 41 minutes — see the log
	amd64 build of coq 8.7~git~201808171551+18488-0~daily307~ubuntu16.04.1 in ubuntu xenial RELEASE Build started on 2018-08-17 on lgw01-amd64-014 and finished on 2018-08-17 taking 35 minutes — see the log
	i386 build of coq 8.7~git~201808171548+18488-0~daily307~ubuntu12.04.1 in ubuntu precise RELEASE Build started on 2018-08-17 on lgw01-amd64-015 and finished on 2018-08-17 taking 33 minutes — see the log
	amd64 build of coq 8.7~git~201808171548+18488-0~daily307~ubuntu14.04.1 in ubuntu trusty RELEASE Build started on 2018-08-17 on lcy01-amd64-002 and finished on 2018-08-17 taking 26 minutes — see the log
	i386 build of coq 8.7~git~201808171548+18488-0~daily307~ubuntu18.04.1 in ubuntu bionic RELEASE Build started on 2018-08-17 on lcy01-amd64-017 and finished on 2018-08-17 taking 21 minutes — see the log
	amd64 build of coq 8.7~git~201808171548+18488-0~daily307~ubuntu12.04.1 in ubuntu precise RELEASE Build started on 2018-08-17 on lcy01-amd64-014 and finished on 2018-08-17 taking 21 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu cosmic Build started on 2018-08-17 on lcy01-amd64-012 and finished on 2018-08-17 taking 10 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu xenial Build started on 2018-08-17 on lgw01-amd64-056 and finished on 2018-08-17 taking 8 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu trusty Build started on 2018-08-17 on lgw01-amd64-045 and finished on 2018-08-17 taking 5 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu bionic Build started on 2018-08-17 on lcy01-amd64-002 and finished on 2018-08-17 taking 4 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu precise Build started on 2018-08-17 on lgw01-amd64-015 and finished on 2018-08-17 taking 4 minutes — see the log
	amd64 build of coq 8.7~git~201806011656+18487-0~daily307~ubuntu18.10.1 in ubuntu cosmic RELEASE Build started on 2018-06-01 on lcy01-amd64-025 and finished on 2018-06-01 taking 23 minutes — see the log
	i386 build of coq 8.7~git~201806011656+18487-0~daily307~ubuntu18.10.1 in ubuntu cosmic RELEASE Build started on 2018-06-01 on lgw01-amd64-044 and finished on 2018-06-01 taking 17 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu cosmic Build started on 2018-06-01 on lcy01-amd64-015 and finished on 2018-06-01 taking 6 minutes — see the log
	i386 build of coq 8.7~git~201803171546+18487-0~daily307~ubuntu12.04.1 in ubuntu precise RELEASE Build started on 2018-03-17 on lgw01-amd64-002 and finished on 2018-03-17 taking 23 minutes — see the log
	amd64 build of coq 8.7~git~201803171546+18487-0~daily307~ubuntu12.04.1 in ubuntu precise RELEASE Build started on 2018-03-17 on lcy01-amd64-005 and finished on 2018-03-17 taking 20 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu precise Build started on 2018-03-17 on lgw01-amd64-047 and finished on 2018-03-17 taking 3 minutes — see the log
	amd64 build of coq 8.7~git~201803091117+18487-0~daily307~ubuntu14.04.1 in ubuntu trusty RELEASE Build started on 2018-03-09 on lgw01-amd64-031 and finished on 2018-03-09 taking 24 minutes — see the log
	amd64 build of coq 8.7~git~201803091117+18487-0~daily307~ubuntu17.10.1 in ubuntu artful RELEASE Build started on 2018-03-09 on lgw01-amd64-056 and finished on 2018-03-09 taking 23 minutes — see the log
	i386 build of coq 8.7~git~201803091117+18487-0~daily307~ubuntu16.04.1 in ubuntu xenial RELEASE Build started on 2018-03-09 on lgw01-amd64-059 and finished on 2018-03-09 taking 22 minutes — see the log
	i386 build of coq 8.7~git~201803091117+18487-0~daily307~ubuntu18.04.1 in ubuntu bionic RELEASE Build started on 2018-03-09 on lgw01-amd64-057 and finished on 2018-03-09 taking 21 minutes — see the log
	i386 build of coq 8.7~git~201803091117+18487-0~daily307~ubuntu14.04.1 in ubuntu trusty RELEASE Build started on 2018-03-09 on lgw01-amd64-023 and finished on 2018-03-09 taking 19 minutes — see the log
	amd64 build of coq 8.7~git~201803091117+18487-0~daily307~ubuntu16.04.1 in ubuntu xenial RELEASE Build started on 2018-03-09 on lgw01-amd64-026 and finished on 2018-03-09 taking 19 minutes — see the log
	amd64 build of coq 8.7~git~201803091117+18487-0~daily303~ubuntu12.04.1 in ubuntu precise RELEASE Build started on 2018-03-09 on lgw01-amd64-028 and finished on 2018-03-09 taking 18 minutes — see the log
	i386 build of coq 8.7~git~201803091117+18487-0~daily307~ubuntu17.10.1 in ubuntu artful RELEASE Build started on 2018-03-09 on lgw01-amd64-050 and finished on 2018-03-09 taking 17 minutes — see the log
	i386 build of coq 8.7~git~201803091117+18487-0~daily303~ubuntu12.04.1 in ubuntu precise RELEASE Build started on 2018-03-09 on lgw01-amd64-055 and finished on 2018-03-09 taking 17 minutes — see the log
	amd64 build of coq 8.7~git~201803091117+18487-0~daily307~ubuntu18.04.1 in ubuntu bionic RELEASE Build started on 2018-03-09 on lgw01-amd64-051 and finished on 2018-03-09 taking 16 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu artful Build started on 2018-03-09 on lcy01-amd64-024 and finished on 2018-03-09 taking 4 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu bionic Build started on 2018-03-09 on lcy01-amd64-026 and finished on 2018-03-09 taking 3 minutes — see the log
	deleted recipe build in ubuntu precise Build started on 2018-03-09 on lcy01-amd64-022 and finished on 2018-03-09 taking 3 minutes — see the log