Commit 031e4e09 authored by Ralf Jung's avatar Ralf Jung

also test coq.dev, because why not

parent 0fd4ce5c
Pipeline #24134 passed with stage
in 11 minutes and 2 seconds