Skip to content

Conversation

@fatih-acar
Copy link
Contributor

No description provided.

@github-actions github-actions bot added the group/ci Issue related to the CI pipeline label Oct 1, 2024
@dgarros dgarros marked this pull request as ready for review October 2, 2024 03:51
@dgarros dgarros merged commit 4ce6b04 into develop Oct 2, 2024
10 checks passed
@dgarros dgarros deleted the fac-merge-stable branch October 2, 2024 03:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

group/ci Issue related to the CI pipeline

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants