Closed lkiesow closed 6 months ago
We switched the default branch from master to main quite a while ago. Unfortunately, one GitHub Actions workflow did not get updated. This patch updates the branch name.
master
main
We switched the default branch from
master
tomain
quite a while ago. Unfortunately, one GitHub Actions workflow did not get updated. This patch updates the branch name.