Skip to content

ci: use ubuntu-24.04#37

Merged
csouchet merged 1 commit intomainfrom
ci/use_ubuntu-24.04
Jan 20, 2025
Merged

ci: use ubuntu-24.04#37
csouchet merged 1 commit intomainfrom
ci/use_ubuntu-24.04

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 requested a review from tbouffard January 20, 2025 12:41
@csouchet csouchet merged commit 9c2cb30 into main Jan 20, 2025
2 checks passed
@csouchet csouchet deleted the ci/use_ubuntu-24.04 branch January 20, 2025 12:57
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.

2 participants