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.
I broke coverage publishing because the arguments are not correctly read from the environment variables in the CI. This should hopefully work now.