Skip to content

Update branch name to "main" in GitHub's CI workflow#2089

Merged
AlexEMG merged 3 commits into
mainfrom
fix_github_workflow
Dec 15, 2022
Merged

Update branch name to "main" in GitHub's CI workflow#2089
AlexEMG merged 3 commits into
mainfrom
fix_github_workflow

Commits

Commits on Dec 15, 2022