Skip to content

Conversation

@hiddeco
Copy link
Member

@hiddeco hiddeco commented Jun 30, 2023

No description provided.

Signed-off-by: Hidde Beydals <hidde@hhh.computer>
@hiddeco hiddeco added the area/ci CI related issues and pull requests label Jun 30, 2023
@hiddeco hiddeco merged commit c242086 into main Jun 30, 2023
@hiddeco hiddeco deleted the update-backport-workflow branch June 30, 2023 11:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

area/ci CI related issues and pull requests

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants