Commit 963a642d authored by Robbert Krebbers's avatar Robbert Krebbers

Only CI for Coq 8.9.0.

parent fd0ebc8d
Pipeline #15072 passed with stage
in 16 minutes and 41 seconds