Skip to content

Conversation

@pdesoyres-cc
Copy link
Contributor

No description provided.

@pdesoyres-cc pdesoyres-cc self-assigned this Oct 15, 2025
@pdesoyres-cc pdesoyres-cc added the dependencies Pull requests that update a dependency file label Oct 15, 2025
@pdesoyres-cc pdesoyres-cc force-pushed the chore/upgrade-dependencies branch from 21295b8 to 3377f2b Compare October 15, 2025 07:59
Copy link
Contributor

@florian-sanders-cc florian-sanders-cc left a comment

Choose a reason for hiding this comment

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

A few nitpicks / suggestions but all good tbh, I didn't test anything but I think for this PR it's mostly CI's job 😄

@pdesoyres-cc pdesoyres-cc force-pushed the chore/upgrade-dependencies branch from 3377f2b to f0272f2 Compare October 21, 2025 07:13
Copy link
Member

@Galimede Galimede left a comment

Choose a reason for hiding this comment

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

LGTM!

Copy link
Member

@hsablonniere hsablonniere left a comment

Choose a reason for hiding this comment

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

LGTM, good news for this repo!! 👍

@pdesoyres-cc pdesoyres-cc force-pushed the chore/upgrade-dependencies branch from f0272f2 to 1c64dfc Compare November 13, 2025 10:17
@pdesoyres-cc pdesoyres-cc force-pushed the chore/upgrade-dependencies branch from 1c64dfc to 8e7be42 Compare November 13, 2025 10:19
@pdesoyres-cc pdesoyres-cc merged commit f74277d into master Nov 13, 2025
4 checks passed
@pdesoyres-cc pdesoyres-cc deleted the chore/upgrade-dependencies branch November 13, 2025 10:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dependencies Pull requests that update a dependency file

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants