V0.7 test if this succeeds
This MR tests if the problems we've been having with the CI pipeline also exist for the 0.7 branch. I needed to make an MR, because our .gitlab-ci doesn't allow running for branches without one.
Results: the problem we're having with the CI pipeline also exists for this branch. That confirms our suspicion that it's kernel-related (all pipelines run with the "Linux Latest" kernel at GH)
Edited by Maarten de Waard