Skip to content

ci: use ubuntu-24.04#357

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

ci: use ubuntu-24.04#357
csouchet merged 1 commit into
mainfrom
ci/use_ubuntu-24.04

Conversation

@csouchet

Copy link
Copy Markdown
Contributor

No description provided.

@csouchet csouchet added the chore Build, CI/CD or repository tasks (issues/PR maintenance, environments, ...) label Jan 17, 2025
@sonarqubecloud

Copy link
Copy Markdown

@github-actions

github-actions Bot commented Jan 17, 2025

Copy link
Copy Markdown

♻️ PR Preview 51e2da1 has been successfully destroyed since this PR has been closed.

🤖 By surge-preview

@csouchet csouchet marked this pull request as ready for review January 17, 2025 16:39
@csouchet csouchet requested a review from tbouffard January 17, 2025 16:39

@tbouffard tbouffard left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@csouchet csouchet merged commit 1bc3431 into main Jan 20, 2025
@csouchet csouchet deleted the ci/use_ubuntu-24.04 branch January 20, 2025 09:05
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