PR #1232 Fix/bump style bot sha

Fix/bump style bot sha #1232

paulinebm merged 3 commits into main from fix/bump-style-bot-sha

[CI] Bump style-bot-action to hardened SHA + switch to GitHub App

a49e8cef

[CI] Bump style-bot to hardened TOCTOU-fix SHA

d539b188

Merge branch 'main' into fix/bump-style-bot-sha

4e037220

paulinebm merged 3e75d1f7 into main 37 days ago

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Milestone

No milestone