Skip to content

Conversation

@tbouffard
Copy link
Member

No description provided.

@tbouffard tbouffard added the chore Build, CI/CD or repository tasks (issues/PR maintenance, environments, ...) label Nov 30, 2022
@tbouffard tbouffard requested a review from csouchet November 30, 2022 17:14
@csouchet csouchet merged commit f9c59b9 into main Dec 5, 2022
@csouchet csouchet deleted the ci/use_ubuntu_22 branch December 5, 2022 13:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore Build, CI/CD or repository tasks (issues/PR maintenance, environments, ...)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants