Fix set-env use

Created by: fsoubelet

Should fix the set-env use in the coverage workflow. Hopefully fix the warning in the documentation workflow by updating the used version of the github-pages-deploy-action.

Need to open this PR to trigger the first one.