Merge remote-tracking branch 'upstream/master'

6 jobs for master in 5 minutes and 57 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #36282
1.8.0-coq-8.8

00:02:23

passed #36284
1.9.0-coq-8.9

00:02:24

failed #36283
allowed to fail
1.9.0-coq-dev

00:00:18

 
  Process
passed #36286
doc

00:03:21

passed #36287
proof-length

00:00:17

passed #36285
validate

00:01:36

 
Name Stage Failure
failed
1.9.0-coq-dev Build There is an unknown failure, please try again
File "./util/seqset.v", line 19, characters 42-52:
Error: The reference mkPredType was not found in the current environment.

make[1]: *** [util/seqset.vo] Error 1
make[1]: *** Waiting for unfinished jobs....
Makefile:658: recipe for target 'util/seqset.vo' failed
Makefile:320: recipe for target 'all' failed
make: *** [all] Error 2
ERROR: Job failed: exit code 1