consolidate workflows for mypy and ruf

Author: aignas

.github/workflows/ruff.yaml .github/workflows/ci.yaml.github/workflows/ruff.yaml renamed to .github/workflows/ci.yaml

@@ -1,20 +1,34 @@
----
-name: ruff
+name: CI
 
 on:
-  pull_request:
+  push:
     branches:
       - main
-
-permissions:
-  contents: read
+  pull_request:
+    types:
+      - opened
+      - synchronize
 
 defaults:
   run:
     shell: bash
 
+permissions:
+  contents: read
+
 jobs:
-  ci:
+  mypy:
+    runs-on: ubuntu-latest
+    steps:
+      # Checkout the code
+      - uses: actions/checkout@v6
+      - uses: jpetrucciani/mypy-check@master
+        with:
+          path: 'python/runfiles'
+      - uses: jpetrucciani/mypy-check@master
+        with:
+          path: 'tests/runfiles'
+  ruff:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v6