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

re-enable coq.dev CI

parent 3b02de05
Pipeline #46055 passed with stage
in 9 minutes and 54 seconds