CI: adding workflow_dispatch (#136)

* CI: adding  workflow_dispatch

* CI: default branch has been renamed

* CI: update VM version

* MAINT: shutting up mypy complaints

Author: bsipocz

.github/workflows/build.yml

@@ -1,8 +1,9 @@
 name: Tests
 on:
   push:
-    branches: ["master"]
+    branches: ["main"]
   pull_request:
+  workflow_dispatch:
 
 concurrency:
   group: ci-${{ github.ref }}
@@ -11,7 +12,7 @@ concurrency:
 jobs:
   # Run "pre-commit run --all-files --hook-stage=manual"
   pre-commit:
-    runs-on: ubuntu-20.04
+    runs-on: ubuntu-latest
     timeout-minutes: 5
     steps:
       - uses: actions/checkout@v4

meeseeksdev/meeseeksbox/commands.py

@@ -432,7 +432,7 @@ def push_the_work(session, payload, arguments, local_config=None):
         "GET", f"https://api.github.com/repos/{org_name}/{repo_name}"
     ).json()["default_branch"]
     repo.git.checkout(default_branch)
-    repo.branches.workbranch.delete(repo, "workbranch", force=True)  # type:ignore[attr-defined]
+    repo.branches.workbranch.delete(repo, "workbranch", force=True)
     return succeeded
 
 
@@ -994,7 +994,7 @@ def keen_stats():
             succeeded = False
 
         repo.git.checkout(default_branch)
-        repo.branches.workbranch.delete(repo, "workbranch", force=True)  # type:ignore[attr-defined]
+        repo.branches.workbranch.delete(repo, "workbranch", force=True)
 
         # TODO checkout the default_branch and get rid of branch