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

for now disable tests on coq 8.10

parent f8e99264
Pipeline #13647 passed with stage
in 13 minutes and 14 seconds