Skip to content

Conversation

@rvhonorato
Copy link
Member

No description provided.

@rvhonorato rvhonorato added the CI / repository Continuous integration or repository organization label Jun 5, 2023
@rvhonorato rvhonorato self-assigned this Jun 5, 2023
@rvhonorato rvhonorato merged commit d81255c into haddocking:main Jun 5, 2023
@rvhonorato rvhonorato deleted the ci-tweak branch June 5, 2023 10:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

CI / repository Continuous integration or repository organization

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant