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 14, 2025
@csouchet csouchet requested a review from tbouffard January 14, 2025 09:33
@github-actions github-actions bot added the github_actions Pull requests that update GitHub Actions code label Jan 14, 2025
Copy link
Member

@tbouffard tbouffard left a comment

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 94f1d7d into main Jan 14, 2025
3 checks passed
@csouchet csouchet deleted the ci/remove_dependabot branch January 14, 2025 10:39
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, ...) github_actions Pull requests that update GitHub Actions code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants