Skip to content

[automation] Auto-update linters version, help and documentation - #8709

Merged
nvuillam merged 1 commit into
mainfrom
create-pull-request/patch
Aug 10, 2026
Merged

[automation] Auto-update linters version, help and documentation#8709
nvuillam merged 1 commit into
mainfrom
create-pull-request/patch

Conversation

@github-actions

@github-actions github-actions Bot commented Aug 9, 2026

Copy link
Copy Markdown
Contributor

[automation] Auto-update linters version, help and documentation

@github-actions
github-actions Bot requested a review from nvuillam as a code owner August 9, 2026 21:13
@github-actions github-actions Bot added automerge dependencies Pull requests that update a dependency file labels Aug 9, 2026
@github-actions github-actions Bot added dependencies Pull requests that update a dependency file automerge labels Aug 9, 2026
@github-actions
github-actions Bot force-pushed the create-pull-request/patch branch from a85b091 to 390d95c Compare August 9, 2026 22:51
@github-actions
github-actions Bot force-pushed the create-pull-request/patch branch from 390d95c to 7ae204a Compare August 10, 2026 06:44
@nvuillam
nvuillam merged commit 9969001 into main Aug 10, 2026
1 check passed
@nvuillam
nvuillam deleted the create-pull-request/patch branch August 10, 2026 08:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

automerge dependencies Pull requests that update a dependency file

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant