Skip to content

CI: use 'main' branch instead of 'master'#232

Merged
parkr merged 1 commit intomainfrom
sub-master-for-main
Apr 20, 2022
Merged

CI: use 'main' branch instead of 'master'#232
parkr merged 1 commit intomainfrom
sub-master-for-main

Commits

Commits on Apr 20, 2022