Skip to content

Conversation

@csouchet
Copy link
Contributor

No description provided.

@csouchet csouchet added the chore Build, CI/CD or repository tasks (issues/PR maintenance, environments, ...) label Jan 20, 2025
@csouchet csouchet marked this pull request as ready for review January 20, 2025 09:25
@csouchet csouchet requested a review from tbouffard January 20, 2025 09:25
@csouchet csouchet marked this pull request as draft January 20, 2025 09:35
@csouchet csouchet marked this pull request as ready for review January 20, 2025 09:37
@tbouffard tbouffard merged commit d33fadc into main Jan 20, 2025
2 checks passed
@tbouffard tbouffard deleted the ci/use_ubuntu-24.04 branch January 20, 2025 09:54
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