Drop support for Coq 8.14.
Passed
Robbert Krebbers
created pipeline for commit
e0233179
, finished
Related merge request !468 to merge robbert/drop_coq814
4 minutes 9 seconds, queued for 6 seconds