Closed thedrow closed 1 year ago
We renamed the master branch to main. We need to adjust the CI workflow. This PR does just that.
We renamed the master branch to main. We need to adjust the CI workflow. This PR does just that.