Merge branch 'master' into sh_merge_master

This commit is contained in:
Ralf W. Grosse-Kunstleve
2022-02-16 07:15:34 -08:00
15 changed files with 162 additions and 69 deletions

View File

@@ -13,6 +13,9 @@ on:
- smart_holder
- "v*"
env:
FORCE_COLOR: 3
jobs:
pre-commit:
name: Format
@@ -20,6 +23,8 @@ jobs:
steps:
- uses: actions/checkout@v2
- uses: actions/setup-python@v2
- name: Add matchers
run: echo "::add-matcher::$GITHUB_WORKSPACE/.github/matchers/pylint.json"
- uses: pre-commit/action@v2.0.3
with:
# Slow hooks are marked with manual - slow is okay here, run them too