Skip to content

Update pre-commit config #15

Update pre-commit config

Update pre-commit config #15

# 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@1b05615854632b887b69ae1be8cbefe72d3ae423 # v2.6.0
with:
egress-policy: audit
- uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 # v4.1.1
- uses: actions/setup-python@65d7f2d534ac1bc67fcd62888c5f4f3d2cb2b236 # v4.7.1
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@153407881ec5c347639a548ade7d8ad1d6740e38 # v5.0.2
with:
commit-message: "chore: update pre-commit config"
title: "chore: update pre-commit config"
branch: chore-precommit-config
delete-branch: true
author: GitHub <[email protected]>