Skip to content

GitLab

Commit b9233115 authored by Ralf Jung's avatar Ralf Jung
Browse files

test Coq 8.11.2 instead of 8.11.0

parent c69e43aa
Pipeline #33456 passed with stage
in 18 minutes and 45 seconds