Skip to content

GitLab

Commit fccf69e0 authored by Ralf Jung's avatar Ralf Jung
Browse files
Options

no more Coq 8.6; test Coq 8.8

parent a58fb0d8
Pipeline #8486 passed with stage
    in 6 minutes and 6 seconds