Skip to content

Improve GitHub Actions workflows: add job names, refine caching, and enhance Cabal matrix#22

Merged
webdevred merged 5 commits intomasterfrom
yet-another-cicd-pr
Jul 28, 2025
Merged

Improve GitHub Actions workflows: add job names, refine caching, and enhance Cabal matrix#22
webdevred merged 5 commits intomasterfrom
yet-another-cicd-pr

Commits

Commits on Jul 28, 2025