Merge branch 'pybind:master' into master

This commit is contained in:
Steve R. Sun 2024-06-18 08:44:37 +08:00 committed by GitHub
commit 670fe39c5a
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -1111,7 +1111,7 @@ jobs:
uses: jwlawson/actions-setup-cmake@v2.0
- name: Install ninja-build tool
uses: seanmiddleditch/gha-setup-ninja@v4
uses: seanmiddleditch/gha-setup-ninja@v5
- name: Run pip installs
run: |