First instance of our deprecation process: cofeT := ofeT.

1 job for master in 13 seconds
Status Job ID Name Coverage
  Test
failed #1378
coq
buildjob

00:00:13

 
Name Stage Failure
failed
buildjob Test There is an unknown failure, please try again
"coqdep" -c -Q "." iris "prelude/option.v" > "prelude/option.v.d" || ( RV=$?; rm -f "prelude/option.v.d"; exit ${RV} )
/usr/bin/time -f "prelude/base (user: %U mem: %M ko)" "coqc" -q -Q "." iris prelude/base.v
make[1]: *** No rule to make target 'algebra/deprecated.v', needed by 'algebra/deprecated.vo'. Stop.
make[1]: *** Waiting for unfinished jobs....
prelude/base (user: 0.73 mem: 372800 ko)
make[1]: Leaving directory '/builds/FP/iris-coq'
Makefile:13: recipe for target 'all' failed
make: *** [all] Error 2
ERROR: Build failed: exit code 1