GitHub Actions: Temporarily add dev-mypy branch to tests workflow

binaryDiv · binaryDiv · commit 16129b0c6e1a · 2026-03-09T15:50:50.000+01:00
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -2,13 +2,16 @@
 
 name: Unit tests
 
+# TODO: Remove dev-mypy after merging it into main.
 on:
   push:
     branches:
       - main
+      - dev-mypy
   pull_request:
     branches:
       - main
+      - dev-mypy
 
 jobs:
   test:
