Fix default arguments
I broke coverage publishing because the arguments are not correctly read from the environment variables in the CI. This should hopefully work now.
GitLab service scheduled maintenance on Friday, March 21st 2025 as of 08h00 Geneva time for an estimated period of 1 hour. Further information under OTG0154918.
I broke coverage publishing because the arguments are not correctly read from the environment variables in the CI. This should hopefully work now.