Commit 69273c98 authored by Ralf Jung's avatar Ralf Jung
Browse files

COQTEST: get rid of old filtering stuff

parent 6de240cc
Pipeline #14040 passed with stage
in 11 minutes and 58 seconds