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

don't test against Coq master (it is broken)

parent 302e8e89
No related branches found
No related tags found
No related merge requests found
Pipeline #45757 failed
Stage: build