generic "dev-tools" CI name

mpharrigan · mpharrigan · commit 779abedd17da · 2025-05-08T19:39:03.000Z
diff --git a/.github/workflows/pr.yaml b/.github/workflows/pr.yaml
@@ -43,7 +43,7 @@ jobs:
       - run: |
           check/pytest -m 'not notebook and not slow'
 
-  pytest-dev-tools:
+  dev-tools:
     runs-on: ubuntu-24.04
     timeout-minutes: 15
     steps:
