Pipeline · Adam / Iris

Merge branch 'master' of https://gitlab.mpi-sws.org/iris/iris into dfrac_notations

2 jobs for !756 with dfrac_notations in 18 minutes and 16 seconds (queued for 6 seconds)

Name Stage Failure

	Name	Stage	Failure
failed	build-coq.8.12.2	Build
	`COQTEST tests/one_shot_once.v (ref: tests/one_shot_once.ref) COQTEST tests/one_shot.v (ref: tests/one_shot.ref) real 8m8.095s user 29m39.237s sys 1m47.136s [buildjob] Aborting build because of warnings. Cleaning up project directory and file based variables ERROR: Job failed: exit code 1`

failed

build-coq.8.12.2

Build

COQTEST tests/one_shot_once.v (ref: tests/one_shot_once.ref)
COQTEST tests/one_shot.v (ref: tests/one_shot.ref)

real	8m8.095s
user	29m39.237s
sys	1m47.136s
[buildjob] Aborting build because of warnings.
Cleaning up project directory and file based variables
ERROR: Job failed: exit code 1