CI: nightly job can do validation

2 jobs for master in 17 minutes and 8 seconds (queued for 3 minutes and 29 seconds)
Status Job ID Name Coverage
  Test
failed #7546
fp-timing
build-iris.dev-coq.8.7.1

00:17:08

failed #7547
fp-timing
build-iris.dev-coq.dev

00:16:14

 
Name Stage Failure
failed
build-iris.dev-coq.8.7.1 Test There is an unknown failure, please try again
make[1]: Entering directory '/builds/FP/iris-examples'
"coqchk" -silent -o -Q theories iris_examples proof specification barrier protocol example_client example_joining_existentials coq_intro_example_1 graph mon spanning proof base lang typing rules logrel fundamental soundness lang typing rules logrel fundamental soundness lang typing rules rules_binary logrel logrel_binary fundamental fundamental_binary soundness context_refinement soundness_binary lang rules typing logrel_unary fundamental_unary rules_binary logrel_binary fundamental_binary soundness_unary context_refinement soundness_binary lock counter stack_rules CG_stack FG_stack refinement
Error: Unknown option -Q
make[1]: *** [validate] Error 1
Makefile.coq:403: recipe for target 'validate' failed
make[1]: Leaving directory '/builds/FP/iris-examples'
make: *** [validate] Error 2
Makefile:3: recipe for target 'validate' failed
ERROR: Job failed: exit code 1
failed
build-iris.dev-coq.dev Test There is an unknown failure, please try again
coq-iris-examples-builddep needs to be installed.
[NOTE] Pinning command successful, but your installed packages may be out of
sync.
Sorry, no solution found: there seems to be a problem with your request.

No solution found, exiting
make: *** [build-dep] Error 3
Makefile:29: recipe for target 'build-dep' failed
ERROR: Job failed: exit code 1