Pipeline · Iris / Tutorial POPL18

use old ssreflect for old Coq

3 jobs for master in 8 minutes and 35 seconds (queued for 2 seconds)

Status	Job ID	Name
Build
failed	#23188 fp	build-coq.8.6.1	00:03:43 Feb 01, 2019
passed	#23187 fp	build-coq.8.7.2	00:02:14 Feb 01, 2019
passed	#23186 fp	build-coq.8.8.2	00:02:37 Feb 01, 2019

Name Stage Failure

	Name	Stage	Failure
failed	build-coq.8.6.1	Build
	`# upgrade-criteria -removed,-count[version-lag,solution],-new # jobs 20 # repositories 2 (http), 1 (version-controlled) (default repo at c96fb78a) # pinned 0 # current-switch ocaml-base-compiler.4.02.3 [prepare-opam] Processing pins [prepare-opam] version-pinning coq to 8.6.1 coq is now pinned to version 8.6.1 ERROR: Job failed: exit code 1`

failed

build-coq.8.6.1

Build

# upgrade-criteria  -removed,-count[version-lag,solution],-new
# jobs              20
# repositories      2 (http), 1 (version-controlled) (default repo at c96fb78a)
# pinned            0
# current-switch    ocaml-base-compiler.4.02.3
[prepare-opam] Processing pins
[prepare-opam] version-pinning coq to 8.6.1
coq is now pinned to version 8.6.1
ERROR: Job failed: exit code 1