Skip to content
Snippets Groups Projects
Commit d481ab7a authored by Ralf Jung's avatar Ralf Jung
Browse files

coq.dev is not stable enough for regular CI

parent 69ba36c4
No related branches found
No related tags found
No related merge requests found
Pipeline #46068 passed