Skip to content

Fix set-env use

Michael Hofer requested to merge fix_set-env_use into master

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.

Merge request reports