Run pre-commit and in-place update PR on push

Merge branch 'master' into Jovan-inf-min #7041

Sign in to view logs

Summary
Jobs
- main
Run details
- Usage
- Workflow file

Triggered via push October 20, 2025 19:44

JovanGerb

Jovan-inf-min

Status Success

Total duration 33s

Artifacts –

pre-commit.yml

on: push