Skip to content

ci: fix issues and lint with zizmor#1836

Merged
dunglas merged 1 commit intomainfrom
fix/zizmor
Aug 28, 2025
Merged

ci: fix issues and lint with zizmor#1836
dunglas merged 1 commit intomainfrom
fix/zizmor

Commits

Commits on Aug 28, 2025