different liUnfoldLetGoal

1 job for time/less-unfold in 6 minutes and 24 seconds (queued for 2 minutes and 36 seconds)
Status Name Job ID Coverage
  Build
failed build-coq.8.14.0-timing #159498
fp-timing

00:06:24

 
Name Stage Failure
failed
build-coq.8.14.0-timing Build
goals. If this is really what you want to do, use Admitted in place of Qed.

make: *** [Makefile:6: all_with_examples] Error 1

real 4m42.516s
user 15m28.894s
sys 4m59.700s
Cleaning up project directory and file based variables
ERROR: Job failed: exit code 1