Skip to content

CI: Fix some issues pointed out by zizmor#3

Merged
felixfontein merged 1 commit intomainfrom ciDec 14, 2024

Commits

Commits on Dec 14, 2024