For some reason, there are PRs like #43 which did not trigger the CI test. From https://github.com/ucphhpc/docker-migrid/blob/master/.github/workflows/ci.yml it looks like they should run on all opened PRs to me. We should in general ensure that all merged commits have successfully completed those basic tests.