Closed lemeurherve closed 2 weeks ago
This PR replaces the updatecli GitHub Action by a Jenkins pipeline.
Changes:
Note: the corresponding updatecli job running on infra.ci.jenkins.io has already been added in:
Ref:
Closing as discussed during recent team meetings:
This PR replaces the updatecli GitHub Action by a Jenkins pipeline.
Changes:
Note: the corresponding updatecli job running on infra.ci.jenkins.io has already been added in:
Ref: