chore: Fix GitHub Actions findings with zizmor#15
Merged
Oliver Borchert (borchero) merged 1 commit intomainfrom Apr 11, 2026
Merged
chore: Fix GitHub Actions findings with zizmor#15Oliver Borchert (borchero) merged 1 commit intomainfrom
Oliver Borchert (borchero) merged 1 commit intomainfrom
![quant-ranger[bot]](https://avatars.githubusercontent.com/in/330907?v=4&size=32){kind=avatar}