Merge branch 'main' into rgommers-copy-keyword

Author: asmeurer

Diff for: .github/workflows/array-api-tests.yml

@@ -41,6 +41,7 @@ jobs:
         fi
         python -m pip install ${GITHUB_WORKSPACE}/array-api-strict
         python -m pip install -r ${GITHUB_WORKSPACE}/array-api-tests/requirements.txt
+        python -m pip install hypothesis==6.97.1
     - name: Run the array API testsuite
       env:
         ARRAY_API_TESTS_MODULE: array_api_strict

Diff for: .github/workflows/publish-package.yml

@@ -97,7 +97,7 @@ jobs:
       if: >-
         (github.event_name == 'push' && startsWith(github.ref, 'refs/tags'))
         || (github.event_name == 'workflow_dispatch' && github.event.inputs.publish == 'true')
-      uses: pypa/[email protected].11
+      uses: pypa/[email protected].12
       with:
         repository-url: https://test.pypi.org/legacy/
         print-hash: true
@@ -110,6 +110,6 @@ jobs:
 
     - name: Publish distribution 📦 to PyPI
       if: github.event_name == 'push' && startsWith(github.ref, 'refs/tags')
-      uses: pypa/[email protected].11
+      uses: pypa/[email protected].12
       with:
         print-hash: true