fix kaniko
Kaniko builds are failing; the fix might well be similar to what we applied some time ago in our docker image.
Once the builds work again, we should move the installation of sphinx extensions out of CI, see !296 (merged).
Kaniko builds are failing; the fix might well be similar to what we applied some time ago in our docker image.
Once the builds work again, we should move the installation of sphinx extensions out of CI, see !296 (merged).