chore: change default branch name github workflow

Author: drmorr0

.github/workflows/verify.yml

@@ -3,7 +3,7 @@ name: code verification
 on:   # yamllint disable-line rule:truthy
   push:
     branches:
-      - "master"
+      - "main"
   pull_request: {}
 
 concurrency: