Commit 72332eca authored by Andreas Marek's avatar Andreas Marek
Browse files

Gitlab CI: deactivate some tests

parent 53986264