From 5b91cd61ecdbf38bedeb16cb0cd239b669edb600 Mon Sep 17 00:00:00 2001
From: schnellerhase <56360279+schnellerhase@users.noreply.github.com>
Date: Sat, 2 May 2026 12:22:11 +0200
Subject: [PATCH 1/3] Fix: remove PETSc stub for tmp fix

---
 .github/workflows/dolfinx-tests.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/dolfinx-tests.yml b/.github/workflows/dolfinx-tests.yml
index 2582042e9..2316288ce 100644
--- a/.github/workflows/dolfinx-tests.yml
+++ b/.github/workflows/dolfinx-tests.yml
@@ -83,6 +83,8 @@ jobs:
           python3 -m pip install scikit-build-core
           python3 -m scikit_build_core.build requires | python3 -c "import sys, json; print(' '.join(json.load(sys.stdin)))" | xargs pip install
           python3 -m pip -v install --break-system-packages --check-build-dependencies --no-build-isolation dolfinx/python/
+      - name: Workaround (dolfinx typing limitation)
+        run: rm /dolfinx-env/lib64/python3.12/site-packages/petsc4py/PETSc.pyi
       - name: Run mypy checks
         run: |
           python3 -m pip install --break-system-packages mypy

From 0b890de4f97ec12a4522c047d7bd44b5d6b15352 Mon Sep 17 00:00:00 2001
From: schnellerhase <56360279+schnellerhase@users.noreply.github.com>
Date: Fri, 15 May 2026 11:54:11 +0200
Subject: [PATCH 2/3] TMP: Switch dolfinx ref

---
 .github/workflows/dolfinx-tests.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/dolfinx-tests.yml b/.github/workflows/dolfinx-tests.yml
index 2316288ce..321ed3a1c 100644
--- a/.github/workflows/dolfinx-tests.yml
+++ b/.github/workflows/dolfinx-tests.yml
@@ -62,7 +62,7 @@ jobs:
         with:
           path: ./dolfinx
           repository: FEniCS/dolfinx
-          ref: main
+          ref: schnellerhase/mypy-non-venv
       - name: Get DOLFINx
         if: github.event_name == 'workflow_dispatch'
         uses: actions/checkout@v6

From 48f4a1b1cfa3e8b7412d0bb8ef188d35eb5e7fe8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Paul=20T=2E=20K=C3=BChner?=
 <56360279+schnellerhase@users.noreply.github.com>
Date: Fri, 15 May 2026 14:17:49 +0200
Subject: [PATCH 3/3] Update .github/workflows/dolfinx-tests.yml

---
 .github/workflows/dolfinx-tests.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/dolfinx-tests.yml b/.github/workflows/dolfinx-tests.yml
index 321ed3a1c..2316288ce 100644
--- a/.github/workflows/dolfinx-tests.yml
+++ b/.github/workflows/dolfinx-tests.yml
@@ -62,7 +62,7 @@ jobs:
         with:
           path: ./dolfinx
           repository: FEniCS/dolfinx
-          ref: schnellerhase/mypy-non-venv
+          ref: main
       - name: Get DOLFINx
         if: github.event_name == 'workflow_dispatch'
         uses: actions/checkout@v6