ci: add zizmor linter to better scrutinize github actions#830
Merged
esalman-philips merged 13 commits intomainfrom Jun 19, 2025
Merged
ci: add zizmor linter to better scrutinize github actions#830esalman-philips merged 13 commits intomainfrom
esalman-philips merged 13 commits intomainfrom
Commits
Commits on Jun 18, 2025
Commits on Jun 19, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed