Commit 2d7f0238 authored by Ralf Jung's avatar Ralf Jung
Browse files

disable coq.dev CI as that package is currently broken

parent 94a21a33
Pipeline #45883 passed with stage
in 4 minutes and 51 seconds