Pipeline · Iris / ReLoC

Incorporate the `Xchg` operation

1 job for master in 15 minutes and 52 seconds (queued for 16 seconds)

Name Stage Failure

	Name	Stage	Failure
failed	trigger-iris.dev	Build
	`make[2]: Target 'real-all' not remade because of errors. make[1]: * [Makefile.coq:343: all] Error 2 make: * [Makefile:3: all] Error 2 real 0m7.113s user 0m29.006s sys 0m4.504s Cleaning up project directory and file based variables ERROR: Job failed: exit code 1`

failed

Build

make[2]: Target 'real-all' not remade because of errors.
make[1]: *** [Makefile.coq:343: all] Error 2
make: *** [Makefile:3: all] Error 2

real	0m7.113s
user	0m29.006s
sys	0m4.504s
Cleaning up project directory and file based variables
ERROR: Job failed: exit code 1