Skip to content

ci: Make workflows conform to our guidelines#21

Merged
janbuchar merged 3 commits into
masterfrom
add-actionlint
May 21, 2026
Merged

ci: Make workflows conform to our guidelines#21
janbuchar merged 3 commits into
masterfrom
add-actionlint

Commits

Commits on May 21, 2026