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

chore: tidy various files #7068

Sign in to view logs

Summary
Jobs
- main
Run details
- Usage
- Workflow file

Triggered via push October 20, 2025 21:56

Ruben-VandeVelde

various-tidy-3

Status Success

Total duration 40s

Artifacts –

pre-commit.yml

on: push