Skip to content

Ci ref branch dev#1797

Merged
dguittet merged 5 commits into
developfrom
ci_ref_branch_dev
Jun 18, 2024
Merged

Ci ref branch dev#1797
dguittet merged 5 commits into
developfrom
ci_ref_branch_dev

Conversation

@dguittet

@dguittet dguittet commented Jun 18, 2024

Copy link
Copy Markdown
Collaborator

Counterpart of #1779 for develop

@dguittet dguittet marked this pull request as ready for review June 18, 2024 16:26
@dguittet dguittet merged commit d4a6cfe into develop Jun 18, 2024
@dguittet dguittet deleted the ci_ref_branch_dev branch June 18, 2024 16:26
This was referenced Jun 18, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant