Merge branch 'master' into sh_merge_master

This commit is contained in:
Ralf W. Grosse-Kunstleve
2022-12-20 23:43:34 -08:00
15 changed files with 107 additions and 53 deletions

View File

@@ -15,6 +15,8 @@ on:
env:
FORCE_COLOR: 3
# For cmake:
VERBOSE: 1
jobs:
pre-commit: