Skip to content

GitLab

Commit 09800dea authored by Ralf Jung's avatar Ralf Jung
Browse files

update the Coq versions we test against

parent e703be00
Pipeline #34103 failed with stage
in 16 minutes and 13 seconds