Skip to content

Update pre-commit config #17

Update pre-commit config

Update pre-commit config #17

# 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@8ade135a41bc03ea155e62e844d188df1ea18608 # v4.1.0
- uses: actions/setup-python@65d7f2d534ac1bc67fcd62888c5f4f3d2cb2b236 # v4.7.1
with:
python-version: '3.x'
- 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]>