Skip to content
Merge bot PR

Fix lint #3397

Sign in to view logs

Fix lint

Fix lint #3397

Triggered via pull request August 5, 2025 22:56
@VincentLangletVincentLanglet
opened #4208
VincentLanglet:fixLint
Status Success
Total duration 24s
Artifacts –

merge-bot-pr.yml

on: pull_request
Automerge PRs
19s
Automerge PRs
Fit to window
Zoom out
Zoom in