Jason Gross

Builds for Coq Daily Builds (v8.11)

Coq Daily Builds (v8.11)
Builds

	amd64 build of coq 8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu20.04.1 in ubuntu focal RELEASE Build started on 2022-11-11 on lcy02-amd64-096 and finished on 2022-11-11 taking 14 minutes — see the log
	amd64 build of coq 8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.04.1 in ubuntu jammy RELEASE Build started on 2022-11-11 on lcy02-amd64-008 and finished on 2022-11-11 taking 13 minutes — see the log
	amd64 build of coq 8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu23.04.1 in ubuntu lunar RELEASE Build started on 2022-11-11 on lcy02-amd64-107 and finished on 2022-11-11 taking 14 minutes — see the log
	amd64 build of coq 8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.10.1 in ubuntu kinetic RELEASE Build started on 2022-11-11 on lcy02-amd64-047 and finished on 2022-11-11 taking 13 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu jammy Build started on 2022-11-11 on lcy02-amd64-062 and finished on 2022-11-11 taking 4 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu focal Build started on 2022-11-11 on lcy02-amd64-096 and finished on 2022-11-11 taking 4 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu lunar Build started on 2022-11-11 on lcy02-amd64-040 and finished on 2022-11-11 taking 4 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu kinetic Build started on 2022-11-11 on lcy02-amd64-072 and finished on 2022-11-11 taking 4 minutes — see the log
	amd64 build of coq 8.11~git~202206232326+20980-0~daily331-bebc99540f~ubuntu22.10.1 in ubuntu kinetic RELEASE Build started on 2022-06-23 on lgw01-amd64-033 and finished on 2022-06-23 taking 19 minutes — see the log
	amd64 build of coq 8.11~git~202206232326+20980-0~daily334-bebc99540f~ubuntu14.04.1 in ubuntu trusty RELEASE Build started on 2022-06-23 on lgw01-amd64-034 and finished on 2022-06-23 taking 22 minutes — see the log
	amd64 build of coq 8.11~git~202206232325+20980-0~daily331-bebc99540f~ubuntu20.04.1 in ubuntu focal RELEASE Build started on 2022-06-23 on lgw01-amd64-051 and finished on 2022-06-23 taking 20 minutes — see the log
	amd64 build of coq 8.11~git~202206232326+20980-0~daily334-bebc99540f~ubuntu16.04.1 in ubuntu xenial RELEASE Build started on 2022-06-23 on lgw01-amd64-059 and finished on 2022-06-23 taking 18 minutes — see the log
	amd64 build of coq 8.11~git~202206232325+20980-0~daily331-bebc99540f~ubuntu21.10.1 in ubuntu impish RELEASE Build started on 2022-06-23 on lcy02-amd64-109 and finished on 2022-06-23 taking 15 minutes — see the log
	i386 build of coq 8.11~git~202206232326+20980-0~daily334-bebc99540f~ubuntu16.04.1 in ubuntu xenial RELEASE Build started on 2022-06-23 on lgw01-amd64-001 and finished on 2022-06-23 taking 16 minutes — see the log
	amd64 build of coq 8.11~git~202206232325+20980-0~daily331-bebc99540f~ubuntu22.04.1 in ubuntu jammy RELEASE Build started on 2022-06-23 on lcy02-amd64-013 and finished on 2022-06-23 taking 15 minutes — see the log
	amd64 build of coq 8.11~git~202206232326+20980-0~daily334-bebc99540f~ubuntu18.04.1 in ubuntu bionic RELEASE Build started on 2022-06-23 on lcy02-amd64-115 and finished on 2022-06-23 taking 15 minutes — see the log
	i386 build of coq 8.11~git~202206232326+20980-0~daily334-bebc99540f~ubuntu14.04.1 in ubuntu trusty RELEASE Build started on 2022-06-23 on lcy02-amd64-034 and finished on 2022-06-23 taking 15 minutes — see the log
	i386 build of coq 8.11~git~202206232326+20980-0~daily334-bebc99540f~ubuntu18.04.1 in ubuntu bionic RELEASE Build started on 2022-06-23 on lcy02-amd64-087 and finished on 2022-06-23 taking 15 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu impish Build started on 2022-06-23 on lgw01-amd64-002 and finished on 2022-06-23 taking 8 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu kinetic Build started on 2022-06-23 on lgw01-amd64-031 and finished on 2022-06-23 taking 8 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu xenial Build started on 2022-06-23 on lgw01-amd64-054 and finished on 2022-06-23 taking 6 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu jammy Build started on 2022-06-23 on lcy02-amd64-089 and finished on 2022-06-23 taking 7 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu focal Build started on 2022-06-23 on lcy02-amd64-035 and finished on 2022-06-23 taking 7 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu trusty Build started on 2022-06-23 on lcy02-amd64-086 and finished on 2022-06-23 taking 6 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu bionic Build started on 2022-06-23 on lcy02-amd64-110 and finished on 2022-06-23 taking 6 minutes — see the log
	amd64 build of coq 8.11~git~202205021242+20979-0~daily331-06b2f46bd1~ubuntu22.10.1 in ubuntu kinetic RELEASE Build started on 2022-05-03 on lgw01-amd64-016 and finished on 2022-05-03 taking 20 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu kinetic Build started on 2022-05-02 on lgw01-amd64-054 and finished on 2022-05-02 taking 3 minutes — see the log
	amd64 build of coq 8.11~git~202111102212+20979-0~daily331-06b2f46bd1~ubuntu21.04.1 in ubuntu hirsute RELEASE Build started on 2021-11-10 on lcy01-amd64-016 and finished on 2021-11-10 taking 39 minutes — see the log
	amd64 build of coq 8.11~git~202111102213+20979-0~daily331-06b2f46bd1~ubuntu21.10.1 in ubuntu impish RELEASE Build started on 2021-11-10 on lcy01-amd64-004 and finished on 2021-11-10 taking 32 minutes — see the log
	amd64 build of coq 8.11~git~202111102213+20979-0~daily331-06b2f46bd1~ubuntu22.04.1 in ubuntu jammy RELEASE Build started on 2021-11-10 on lcy01-amd64-023 and finished on 2021-11-10 taking 22 minutes — see the log
	amd64 build of coq 8.11~git~202111102212+20979-0~daily331-06b2f46bd1~ubuntu20.04.1 in ubuntu focal RELEASE Build started on 2021-11-10 on lgw01-amd64-028 and finished on 2021-11-10 taking 18 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu jammy Build started on 2021-11-10 on lgw01-amd64-019 and finished on 2021-11-10 taking 7 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu impish Build started on 2021-11-10 on lgw01-amd64-001 and finished on 2021-11-10 taking 6 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu hirsute Build started on 2021-11-10 on lcy01-amd64-030 and finished on 2021-11-10 taking 6 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu focal Build started on 2021-11-10 on lgw01-amd64-005 and finished on 2021-11-10 taking 6 minutes — see the log
	amd64 build of coq 8.11~git~202105051421+20979-0~daily331-06b2f46bd1~ubuntu21.10.1 in ubuntu impish RELEASE Build started on 2021-05-05 on lgw01-amd64-018 and finished on 2021-05-05 taking 18 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu impish Build started on 2021-05-05 on lgw01-amd64-037 and finished on 2021-05-05 taking 38 minutes — see the log
	amd64 build of coq 8.11~git~202102032208+20979-0~daily331-06b2f46bd1~ubuntu21.04.1 in ubuntu hirsute RELEASE Build started on 2021-02-03 on lgw01-amd64-044 and finished on 2021-02-03 taking 21 minutes — see the log
	amd64 build of coq 8.11~git~202102031443+20979-0~daily331-06b2f46bd1~ubuntu20.04.1 in ubuntu focal RELEASE Build started on 2021-02-03 on lgw01-amd64-029 and finished on 2021-02-03 taking 55 minutes — see the log
	i386 build of coq 8.11~git~202102031447+20979-0~daily334-06b2f46bd1~ubuntu18.04.1 in ubuntu bionic RELEASE Build started on 2021-02-03 on lcy01-amd64-019 and finished on 2021-02-03 taking 26 minutes — see the log
	amd64 build of coq 8.11~git~202102031445+20979-0~daily334-06b2f46bd1~ubuntu14.04.1 in ubuntu trusty RELEASE Build started on 2021-02-03 on lgw01-amd64-031 and finished on 2021-02-03 taking 37 minutes — see the log
	i386 build of coq 8.11~git~202102031445+20979-0~daily334-06b2f46bd1~ubuntu14.04.1 in ubuntu trusty RELEASE Build started on 2021-02-03 on lgw01-amd64-026 and finished on 2021-02-03 taking 36 minutes — see the log
	amd64 build of coq 8.11~git~202102031445+20979-0~daily331-06b2f46bd1~ubuntu20.10.1 in ubuntu groovy RELEASE Build started on 2021-02-03 on lcy01-amd64-018 and finished on 2021-02-03 taking 19 minutes — see the log
	amd64 build of coq 8.11~git~202102031447+20979-0~daily334-06b2f46bd1~ubuntu18.04.1 in ubuntu bionic RELEASE Build started on 2021-02-03 on lgw01-amd64-038 and finished on 2021-02-03 taking 18 minutes — see the log
	amd64 build of coq 8.11~git~202102031447+20979-0~daily334-06b2f46bd1~ubuntu16.04.1 in ubuntu xenial RELEASE Build started on 2021-02-03 on lgw01-amd64-015 and finished on 2021-02-03 taking 17 minutes — see the log
	i386 build of coq 8.11~git~202102031447+20979-0~daily334-06b2f46bd1~ubuntu16.04.1 in ubuntu xenial RELEASE Build started on 2021-02-03 on lgw01-amd64-055 and finished on 2021-02-03 taking 16 minutes — see the log
	i386 build of coq 8.11~git~202102031446+20979-0~daily334-06b2f46bd1~ubuntu12.04.1 in ubuntu precise RELEASE Build started on 2021-02-03 on lcy01-amd64-017 and finished on 2021-02-03 taking 23 minutes — see the log
	amd64 build of coq 8.11~git~202102031446+20979-0~daily334-06b2f46bd1~ubuntu12.04.1 in ubuntu precise RELEASE Build started on 2021-02-03 on lcy01-amd64-022 and finished on 2021-02-03 taking 16 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu hirsute Build started on 2021-02-03 on lgw01-amd64-011 and finished on 2021-02-03 taking 6 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu xenial Build started on 2021-02-03 on lgw01-amd64-011 and finished on 2021-02-03 taking 7 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu bionic Build started on 2021-02-03 on lgw01-amd64-025 and finished on 2021-02-03 taking 5 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu groovy Build started on 2021-02-03 on lgw01-amd64-045 and finished on 2021-02-03 taking 9 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu precise Build started on 2021-02-03 on lgw01-amd64-023 and finished on 2021-02-03 taking 5 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu trusty Build started on 2021-02-03 on lcy01-amd64-001 and finished on 2021-02-03 taking 4 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu focal Build started on 2021-02-03 on lcy01-amd64-021 and finished on 2021-02-03 taking 8 minutes — see the log
	amd64 build of coq 8.11~git~202005190222+20979-0~daily330-06b2f46~ubuntu20.10.1 in ubuntu groovy RELEASE Build started on 2020-05-19 on lcy01-amd64-012 and finished on 2020-05-19 taking 26 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu groovy Build started on 2020-05-19 on lgw01-amd64-006 and finished on 2020-05-19 taking 12 minutes — see the log
	i386 build of coq 8.11~git~202005151922+20979-0~daily333-06b2f46~ubuntu14.04.1 in ubuntu trusty RELEASE Build started on 2020-05-15 on lgw01-amd64-006 and finished on 2020-05-15 taking 32 minutes — see the log
	amd64 build of coq 8.11~git~202005151922+20979-0~daily330-06b2f46~ubuntu19.10.1 in ubuntu eoan RELEASE Build started on 2020-05-15 on lgw01-amd64-042 and finished on 2020-05-15 taking 28 minutes — see the log
	i386 build of coq 8.11~git~202005151922+20979-0~daily330-06b2f46~ubuntu19.10.1 in ubuntu eoan RELEASE Build started on 2020-05-15 on lgw01-amd64-043 and finished on 2020-05-15 taking 28 minutes — see the log
	amd64 build of coq 8.11~git~202005151922+20979-0~daily333-06b2f46~ubuntu14.04.1 in ubuntu trusty RELEASE Build started on 2020-05-15 on lgw01-amd64-039 and finished on 2020-05-15 taking 28 minutes — see the log
	amd64 build of coq 8.11~git~202005151923+20979-0~daily330-06b2f46~ubuntu20.04.1 in ubuntu focal RELEASE Build started on 2020-05-15 on lgw01-amd64-031 and finished on 2020-05-15 taking 25 minutes — see the log
	amd64 build of coq 8.11~git~202005151922+20979-0~daily333-06b2f46~ubuntu18.04.1 in ubuntu bionic RELEASE Build started on 2020-05-15 on lcy01-amd64-011 and finished on 2020-05-15 taking 24 minutes — see the log
	i386 build of coq 8.11~git~202005151922+20979-0~daily333-06b2f46~ubuntu16.04.1 in ubuntu xenial RELEASE Build started on 2020-05-15 on lgw01-amd64-041 and finished on 2020-05-15 taking 20 minutes — see the log
	i386 build of coq 8.11~git~202005151922+20979-0~daily333-06b2f46~ubuntu18.04.1 in ubuntu bionic RELEASE Build started on 2020-05-15 on lcy01-amd64-001 and finished on 2020-05-15 taking 16 minutes — see the log
	amd64 build of coq 8.11~git~202005151922+20979-0~daily333-06b2f46~ubuntu12.04.1 in ubuntu precise RELEASE Build started on 2020-05-15 on lcy01-amd64-029 and finished on 2020-05-15 taking 16 minutes — see the log
	amd64 build of coq 8.11~git~202005151922+20979-0~daily333-06b2f46~ubuntu16.04.1 in ubuntu xenial RELEASE Build started on 2020-05-15 on lcy01-amd64-027 and finished on 2020-05-15 taking 15 minutes — see the log
	i386 build of coq 8.11~git~202005151922+20979-0~daily333-06b2f46~ubuntu12.04.1 in ubuntu precise RELEASE Build started on 2020-05-15 on lgw01-amd64-026 and finished on 2020-05-15 taking 14 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu focal Build started on 2020-05-15 on lgw01-amd64-004 and finished on 2020-05-15 taking 10 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu bionic Build started on 2020-05-15 on lgw01-amd64-021 and finished on 2020-05-15 taking 9 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu eoan Build started on 2020-05-15 on lgw01-amd64-017 and finished on 2020-05-15 taking 9 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu trusty Build started on 2020-05-15 on lgw01-amd64-031 and finished on 2020-05-15 taking 8 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu xenial Build started on 2020-05-15 on lgw01-amd64-003 and finished on 2020-05-15 taking 8 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu precise Build started on 2020-05-15 on lgw01-amd64-019 and finished on 2020-05-15 taking 8 minutes — see the log
	amd64 build of coq 8.11~git~202005141924+20976-0~daily333-07fa380~ubuntu16.04.1 in ubuntu xenial RELEASE Build started on 2020-05-14 on lgw01-amd64-004 and finished on 2020-05-14 taking 42 minutes — see the log