Updates several GitHub Actions workflows#61

Merged

markmikkelsen merged 4 commits intodevfrom

Oct 13, 2025

Commits on Oct 6, 2025

Sync with dependencies repos

markmikkelsen
authored and
github-actions[bot]
committed
Merge pull request #59 from markmikkelsen/create-pull-request/patch
markmikkelsen
authored

Commits on Oct 13, 2025

Sync with dependencies repos

markmikkelsen
authored and
github-actions[bot]
committed
Merge pull request #60 from markmikkelsen/create-pull-request/patch
markmikkelsen
authored