Skip to content

Minor improvements to GitHub Actions CI#59

Merged
jansorg merged 2 commits intobash-5.2from jansorg/5.2-ci-fixesDec 30, 2024

Commits

Commits on Dec 27, 2024