Merge branch 'pybind:master' into master

This commit is contained in:
Steve R. Sun 2023-10-07 11:49:44 +08:00 committed by GitHub
commit 2eb545ffd3
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1052,7 +1052,7 @@ jobs:
uses: jwlawson/actions-setup-cmake@v1.14
- name: Install ninja-build tool
uses: seanmiddleditch/gha-setup-ninja@v3
uses: seanmiddleditch/gha-setup-ninja@v4
- name: Run pip installs
run: |