Skip to content

Update pre-commit config #1

Update pre-commit config

Update pre-commit config #1

# This is a scheduled workflow to keep pre-commit config up to date
name: Update pre-commit config
on:
schedule:
# Runs at 00:00 UTC on the 1st of every month
- cron: '0 0 1 * *'
# Allows you to run this workflow manually from the Actions tab
workflow_dispatch:
permissions:
contents: read
jobs:
update:
permissions:
contents: write # for peter-evans/create-pull-request to create branch
pull-requests: write # for peter-evans/create-pull-request to create a PR
runs-on: ubuntu-20.04
steps:
- name: Harden Runner
uses: step-security/harden-runner@63c24ba6bd7ba022e95695ff85de572c04a18142 # v2.7.0
with:
egress-policy: audit
- uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 # v4.1.1
- uses: actions/setup-python@0a5c61591373683505ea898e09a3ea4f39ef2b9c # v5.0.0
with:
python-version: '3.11'
- name: Install pre-commit
run: |
python -m pip install --upgrade pip
python -m pip install --upgrade pre-commit
pre-commit install
- name: Update pre-commit config
run: |
pre-commit autoupdate
pre-commit uninstall
- name: Sync `dev-requirements.txt`
run: |
python .github/workflows/update-dev-requirements.py
- name: Create Pull Request
uses: peter-evans/create-pull-request@b1ddad2c994a25fbc81a28b3ec0e368bb2021c50 # v6.0.0
with:
commit-message: "chore: update pre-commit config"
title: "chore: update pre-commit config"
branch: chore-precommit-config
delete-branch: true
author: GitHub <noreply@github.com>