Merge branch 'main' into update9.1.0

Author: eriknw

.github/workflows/lint.yml

@@ -18,4 +18,4 @@ jobs:
       - uses: actions/setup-python@v5
         with:
           python-version: "3.10"
-      - uses: pre-commit/[email protected].0
+      - uses: pre-commit/[email protected].1

.github/workflows/update_graphblas.yml

@@ -42,7 +42,7 @@ jobs:
         shell: bash
 
       - name: Create Pull Request
-        uses: peter-evans/create-pull-request@v5
+        uses: peter-evans/create-pull-request@v6
         with:
           # See documentation: https://github.com/peter-evans/create-pull-request
           # Action behavior: https://github.com/peter-evans/create-pull-request#action-behaviour

continuous_integration/environment.yml

@@ -10,3 +10,4 @@ dependencies:
   - pytest
   - pytest-randomly
   - coverage
+  - pycparser