try to fix pipeline 7

This commit is contained in:
Christian Zimmermann 2022-12-04 18:55:49 +01:00
parent 8025f657d6
commit 5f85f13d66

View file

@ -11,6 +11,6 @@ build-debian:
script:
- mkdir build
- cd build
- cmake3 ..
- cmake ..
- make -j2
- make test