Merge branch 'master' into sh_merge_master

This commit is contained in:
Ralf W. Grosse-Kunstleve
2023-05-16 07:55:38 -07:00
7 changed files with 26 additions and 3 deletions

View File

@@ -10,6 +10,9 @@ on:
- smart_holder
- v*
permissions:
contents: read
env:
# For cmake:
VERBOSE: 1