Closed leouieda closed 2 years ago
Description
Rename the development branch from master to main in the GitHub Actions configuration and documentation.
master
main
Relevant issues/PRs
Description
Rename the development branch from
master
tomain
in the GitHub Actions configuration and documentation.Relevant issues/PRs
106