Jason Gross

Builds for Coq Daily Builds (v8.15)

Coq Daily Builds (v8.15)
Builds

	i386 build of coq 8.15~git~202206131622+22916-0~daily356-d59a7dc986~ubuntu18.04.1 in ubuntu bionic RELEASE Build started on 2022-06-13 on lcy02-amd64-005 and finished on 2022-06-13 taking 12 minutes — see the log
	amd64 build of coq 8.15~git~202206131622+22916-0~daily356-d59a7dc986~ubuntu18.04.1 in ubuntu bionic RELEASE Build started on 2022-06-13 on lcy02-amd64-098 and finished on 2022-06-13 taking 11 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu jammy Build started on 2022-06-13 on lcy02-amd64-065 and finished on 2022-06-13 taking 9 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu xenial Build started on 2022-06-13 on lcy02-amd64-076 and finished on 2022-06-13 taking 8 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu kinetic Build started on 2022-06-13 on lcy02-amd64-083 and finished on 2022-06-13 taking 8 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu bionic Build started on 2022-06-13 on lcy02-amd64-119 and finished on 2022-06-13 taking 8 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu trusty Build started on 2022-06-13 on lcy02-amd64-108 and finished on 2022-06-13 taking 8 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu focal Build started on 2022-06-13 on lcy02-amd64-044 and finished on 2022-06-13 taking 8 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu impish Build started on 2022-06-13 on lcy02-amd64-082 and finished on 2022-06-13 taking 8 minutes — see the log
	amd64 build of coq 8.15~git~202205310933+22915-0~daily356-70765ee1eb~ubuntu14.04.1 in ubuntu trusty RELEASE Build started on 2022-05-31 on lcy02-amd64-063 and finished on 2022-05-31 taking 17 minutes — see the log
	amd64 build of coq 8.15~git~202205310933+22915-0~daily367-70765ee1eb~ubuntu21.10.1 in ubuntu impish RELEASE Build started on 2022-05-31 on lcy02-amd64-048 and finished on 2022-05-31 taking 15 minutes — see the log
	amd64 build of coq 8.15~git~202205310934+22915-0~daily356-70765ee1eb~ubuntu18.04.1 in ubuntu bionic RELEASE Build started on 2022-05-31 on lcy02-amd64-052 and finished on 2022-05-31 taking 14 minutes — see the log
	i386 build of coq 8.15~git~202205310933+22915-0~daily356-70765ee1eb~ubuntu14.04.1 in ubuntu trusty RELEASE Build started on 2022-05-31 on lcy02-amd64-017 and finished on 2022-05-31 taking 15 minutes — see the log
	amd64 build of coq 8.15~git~202205310934+22915-0~daily356-70765ee1eb~ubuntu20.04.1 in ubuntu focal RELEASE Build started on 2022-05-31 on lcy02-amd64-050 and finished on 2022-05-31 taking 13 minutes — see the log
	amd64 build of coq 8.15~git~202205310933+22915-0~daily356-70765ee1eb~ubuntu16.04.1 in ubuntu xenial RELEASE Build started on 2022-05-31 on lcy02-amd64-006 and finished on 2022-05-31 taking 13 minutes — see the log
	i386 build of coq 8.15~git~202205310934+22915-0~daily356-70765ee1eb~ubuntu18.04.1 in ubuntu bionic RELEASE Build started on 2022-05-31 on lcy02-amd64-039 and finished on 2022-05-31 taking 12 minutes — see the log
	i386 build of coq 8.15~git~202205310933+22915-0~daily356-70765ee1eb~ubuntu16.04.1 in ubuntu xenial RELEASE Build started on 2022-05-31 on lcy02-amd64-005 and finished on 2022-05-31 taking 12 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu focal Build started on 2022-05-31 on lcy02-amd64-039 and finished on 2022-05-31 taking 3 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu bionic Build started on 2022-05-31 on lcy02-amd64-052 and finished on 2022-05-31 taking 3 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu impish Build started on 2022-05-31 on lcy02-amd64-027 and finished on 2022-05-31 taking 4 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu xenial Build started on 2022-05-31 on lcy02-amd64-006 and finished on 2022-05-31 taking 4 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu jammy Build started on 2022-05-31 on lcy02-amd64-004 and finished on 2022-05-31 taking 4 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu kinetic Build started on 2022-05-31 on lcy02-amd64-017 and finished on 2022-05-31 taking 3 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu trusty Build started on 2022-05-31 on lcy02-amd64-063 and finished on 2022-05-31 taking 3 minutes — see the log
	amd64 build of coq 8.15~git~202205261537+22912-0~daily356-d1b25b3e9a~ubuntu14.04.1 in ubuntu trusty RELEASE Build started on 2022-05-26 on lcy02-amd64-007 and finished on 2022-05-26 taking 16 minutes — see the log
	i386 build of coq 8.15~git~202205261537+22912-0~daily356-d1b25b3e9a~ubuntu14.04.1 in ubuntu trusty RELEASE Build started on 2022-05-26 on lcy02-amd64-050 and finished on 2022-05-26 taking 15 minutes — see the log
	i386 build of coq 8.15~git~202205261537+22912-0~daily356-d1b25b3e9a~ubuntu18.04.1 in ubuntu bionic RELEASE Build started on 2022-05-26 on lcy02-amd64-047 and finished on 2022-05-26 taking 12 minutes — see the log
	amd64 build of coq 8.15~git~202205261537+22912-0~daily356-d1b25b3e9a~ubuntu18.04.1 in ubuntu bionic RELEASE Build started on 2022-05-26 on lcy02-amd64-024 and finished on 2022-05-26 taking 14 minutes — see the log
	amd64 build of coq 8.15~git~202205261537+22912-0~daily356-d1b25b3e9a~ubuntu20.04.1 in ubuntu focal RELEASE Build started on 2022-05-26 on lcy02-amd64-010 and finished on 2022-05-26 taking 12 minutes — see the log
	amd64 build of coq 8.15~git~202205261537+22912-0~daily356-d1b25b3e9a~ubuntu16.04.1 in ubuntu xenial RELEASE Build started on 2022-05-26 on lcy02-amd64-060 and finished on 2022-05-26 taking 14 minutes — see the log
	amd64 build of coq 8.15~git~202205261534+22912-0~daily367-d1b25b3e9a~ubuntu21.10.1 in ubuntu impish RELEASE Build started on 2022-05-26 on lcy02-amd64-058 and finished on 2022-05-26 taking 15 minutes — see the log
	i386 build of coq 8.15~git~202205261537+22912-0~daily356-d1b25b3e9a~ubuntu16.04.1 in ubuntu xenial RELEASE Build started on 2022-05-26 on lcy02-amd64-003 and finished on 2022-05-26 taking 13 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu focal Build started on 2022-05-26 on lcy02-amd64-060 and finished on 2022-05-26 taking 3 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu bionic Build started on 2022-05-26 on lcy02-amd64-050 and finished on 2022-05-26 taking 3 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu xenial Build started on 2022-05-26 on lcy02-amd64-051 and finished on 2022-05-26 taking 3 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu trusty Build started on 2022-05-26 on lcy02-amd64-035 and finished on 2022-05-26 taking 3 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu impish Build started on 2022-05-26 on lcy02-amd64-021 and finished on 2022-05-26 taking 4 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu jammy Build started on 2022-05-26 on lcy02-amd64-043 and finished on 2022-05-26 taking 4 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu kinetic Build started on 2022-05-26 on lcy02-amd64-020 and finished on 2022-05-26 taking 4 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu kinetic Build started on 2022-05-02 on lgw01-amd64-051 and finished on 2022-05-02 taking 3 minutes — see the log
	amd64 build of coq 8.15~git~202203301617+22901-0~daily356-1c9b5d9b25~ubuntu14.04.1 in ubuntu trusty RELEASE Build started on 2022-03-30 on lcy02-amd64-094 and finished on 2022-03-30 taking 16 minutes — see the log
	i386 build of coq 8.15~git~202203301617+22901-0~daily356-1c9b5d9b25~ubuntu14.04.1 in ubuntu trusty RELEASE Build started on 2022-03-30 on lcy02-amd64-085 and finished on 2022-03-30 taking 15 minutes — see the log
	amd64 build of coq 8.15~git~202203301617+22901-0~daily356-1c9b5d9b25~ubuntu16.04.1 in ubuntu xenial RELEASE Build started on 2022-03-30 on lcy02-amd64-014 and finished on 2022-03-30 taking 14 minutes — see the log
	amd64 build of coq 8.15~git~202203301617+22901-0~daily356-1c9b5d9b25~ubuntu20.04.1 in ubuntu focal RELEASE Build started on 2022-03-30 on lcy02-amd64-007 and finished on 2022-03-30 taking 13 minutes — see the log
	i386 build of coq 8.15~git~202203301617+22901-0~daily356-1c9b5d9b25~ubuntu18.04.1 in ubuntu bionic RELEASE Build started on 2022-03-30 on lcy02-amd64-037 and finished on 2022-03-30 taking 13 minutes — see the log
	i386 build of coq 8.15~git~202203301617+22901-0~daily356-1c9b5d9b25~ubuntu16.04.1 in ubuntu xenial RELEASE Build started on 2022-03-30 on lcy02-amd64-020 and finished on 2022-03-30 taking 13 minutes — see the log
	amd64 build of coq 8.15~git~202203301617+22901-0~daily356-1c9b5d9b25~ubuntu18.04.1 in ubuntu bionic RELEASE Build started on 2022-03-30 on lcy02-amd64-069 and finished on 2022-03-30 taking 12 minutes — see the log
	amd64 build of coq 8.15~git~202203301607+22901-0~daily367-1c9b5d9b25~ubuntu21.10.1 in ubuntu impish RELEASE Build started on 2022-03-30 on lcy02-amd64-026 and finished on 2022-03-30 taking 14 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu focal Build started on 2022-03-30 on lcy02-amd64-063 and finished on 2022-03-30 taking 3 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu xenial Build started on 2022-03-30 on lcy02-amd64-101 and finished on 2022-03-30 taking 3 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu bionic Build started on 2022-03-30 on lcy02-amd64-055 and finished on 2022-03-30 taking 3 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu trusty Build started on 2022-03-30 on lcy02-amd64-058 and finished on 2022-03-30 taking 3 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu impish Build started on 2022-03-30 on lcy02-amd64-083 and finished on 2022-03-30 taking 4 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu jammy Build started on 2022-03-30 on lcy02-amd64-078 and finished on 2022-03-30 taking 4 minutes — see the log