Drop support for Coq 8.6.
Passed
Robbert Krebbers
created pipeline for commit
5f134375
, finished
For master
6 minutes 26 seconds, queued for 0 seconds