Auto merge PR, run pre-commit, filter codeql

This commit is contained in:
Gabriel Augendre 2023-03-14 10:58:18 +01:00
parent c499fb032b
commit 4f40f25631
2 changed files with 34 additions and 4 deletions

View file

@ -14,9 +14,15 @@ name: "CodeQL"
on: on:
push: push:
branches: [ "master" ] branches: [ "master" ]
paths:
- "**.py"
- "**.js"
pull_request: pull_request:
# The branches below must be a subset of the branches above # The branches below must be a subset of the branches above
branches: [ "master" ] branches: [ "master" ]
paths:
- "**.py"
- "**.js"
schedule: schedule:
- cron: '35 4 * * 3' - cron: '35 4 * * 3'

View file

@ -25,10 +25,34 @@ jobs:
run: | run: |
pip install pip-tools pip install pip-tools
pip-sync requirements.txt requirements-dev.txt pip-sync requirements.txt requirements-dev.txt
- name: Ruff - name: Setup pre-commit cache
run: ruff --format=github . uses: actions/cache@v3
with:
path: ~/.cache/pre-commit
key: {% raw %}pre-commit-3|${{ env.pythonLocation }}|${{ hashFiles('.pre-commit-config.yaml') }}{% endraw %}
- name: Check pre-commit
run: pre-commit run --show-diff-on-failure --color=always --all-files
- name: Test - name: Test
run: pytest --cov=. --cov-branch --cov-report term-missing:skip-covered run: pytest --cov=. --cov-branch --cov-report term-missing:skip-covered
working-directory: ./src/ working-directory: ./src/
- name: Check pre-commit auto_merge:
run: pre-commit run --all-files name: Auto merge
runs-on: ubuntu-latest
needs: tests
permissions:
pull-requests: write
contents: write
env:
GH_TOKEN: {% raw %}${{ github.token }}{% endraw %}
if: >-
github.event.pull_request
&& github.event.pull_request.merged == false
&& (
github.event.pull_request.user.login == 'crocmagnon-pr[bot]'
|| github.event.pull_request.user.login == 'pre-commit-ci[bot]'
)
steps:
- name: Checkout
uses: actions/checkout@v3
- name: Auto merge
run: gh pr merge {% raw %}${{github.event.pull_request.number}}{% endraw %} --delete-branch --rebase