Merge branch 'master' into sh_merge_master

This commit is contained in:
Ralf W. Grosse-Kunstleve
2023-10-11 21:07:36 -07:00
9 changed files with 134 additions and 15 deletions

View File

@@ -1053,7 +1053,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: |