Closed ferrarimarco closed 3 weeks ago
Simplify the CI workflows by skipping GitHub deployments configuration. We don't use deployments in any other place at the moment.
In order to have this pull request merged, complete the following tasks.
Fix #ISSUE_NUMBER
breaking
automation
bug
documentation
enhancement
infrastructure
@zkoppert @Hanse00 can any of you please have a look at this one, given it's a (simple) edit of the cd workflow?
cd
Thanks!
PS: this is a step towards reducing duplication in our workflows.
Proposed changes
Simplify the CI workflows by skipping GitHub deployments configuration. We don't use deployments in any other place at the moment.
Readiness checklist
In order to have this pull request merged, complete the following tasks.
Pull request author tasks
Fix #ISSUE_NUMBER
label to the description of the pull request.Super-linter maintainer tasks
breaking
if this change breaks compatibility with the previous released version.automation
,bug
,documentation
,enhancement
,infrastructure
.