Skip to content

ci: use shared config#2

Merged
PaoloProdossimoLopes merged 1 commit into
developfrom
ci/reusable
May 16, 2025
Merged

ci: use shared config#2
PaoloProdossimoLopes merged 1 commit into
developfrom
ci/reusable

Conversation

@PaoloProdossimoLopes

Copy link
Copy Markdown
Contributor

No description provided.

@PaoloProdossimoLopes PaoloProdossimoLopes added documentation Improvements or additions to documentation enhancement New feature or request labels May 16, 2025
@PaoloProdossimoLopes PaoloProdossimoLopes self-assigned this May 16, 2025
@PaoloProdossimoLopes PaoloProdossimoLopes changed the title 👷 make ci reusable ci: use shared config May 16, 2025
@PaoloProdossimoLopes PaoloProdossimoLopes merged commit 1e2641a into develop May 16, 2025
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant