check for missing 'Hint Mode'

2 jobs for !272 with ralf/hint-mode-check in 3 minutes and 2 seconds (queued for 3 seconds)
latest detached
Status Job ID Name Coverage
  Build
failed #130247
fp
build-coq.8.10.2

00:03:01

failed #130246
fp
build-coq.8.13.2-mr

00:02:39

 
Name Stage Failure
failed
build-coq.8.10.2 Build
make[1]: *** [all] Error 2
Makefile:3: recipe for target 'all' failed
make: *** [all] Error 2

real 1m43.863s
user 2m26.268s
sys 0m17.428s
Cleaning up file based variables
ERROR: Job failed: exit code 1
failed
build-coq.8.13.2-mr Build
make[1]: *** [all] Error 2
Makefile:3: recipe for target 'all' failed
make: *** [all] Error 2

real 1m16.331s
user 1m44.288s
sys 0m15.236s
Cleaning up file based variables
ERROR: Job failed: exit code 1