Pipeline · Iris / RefinedC

Ensure that set simplifies correctly

2 jobs for ci/record-update in 6 seconds (queued for 3 seconds)

Status	Name	Job ID
Build
failed	build-coq.8.14.0	#152809 fp	00:00:06 Oct 27, 2021
passed	build-coq.8.14.0	#151882 fp	00:14:57 Oct 21, 2021

Name Stage Failure

	Name	Stage	Failure
failed	build-coq.8.14.0	Build
	Using docker image sha256:41f434a547c9d728f69a019b23700074c3cb7b6134de340416fa3d16338dc57d for ralfjung/opam-ci:opam2 with digest ralfjung/opam-ci@sha256:2397c339cb01bda0bb9760e289f257fef497c6029508c92d408c9cec6e15a130 ... Preparing environment Running on runner-axatrxdy-project-1724-concurrent-0 via coop... Getting source from Git repository Fetching changes with git depth set to 50... Reinitialized existing Git repository in /builds/iris/refinedc/.git/ fatal: couldn't find remote ref refs/heads/ci/record-update Cleaning up project directory and file based variables ERROR: Job failed: exit code 1

failed

build-coq.8.14.0

Build

Using docker image sha256:41f434a547c9d728f69a019b23700074c3cb7b6134de340416fa3d16338dc57d for ralfjung/opam-ci:opam2 with digest ralfjung/opam-ci@sha256:2397c339cb01bda0bb9760e289f257fef497c6029508c92d408c9cec6e15a130 ...
Preparing environment
Running on runner-axatrxdy-project-1724-concurrent-0 via coop...
Getting source from Git repository
Fetching changes with git depth set to 50...
Reinitialized existing Git repository in /builds/iris/refinedc/.git/
fatal: couldn't find remote ref refs/heads/ci/record-update
Cleaning up project directory and file based variables
ERROR: Job failed: exit code 1