Commit 18dce658 authored by Robbert Krebbers's avatar Robbert Krebbers

Only run CI on Coq 8.9.0.

parent b42ae7ca
Pipeline #15073 canceled with stage