forked from leanprover-community/mathlib4
-
Notifications
You must be signed in to change notification settings - Fork 0
29 lines (27 loc) · 914 Bytes
/
Copy pathpre-commit.yml
File metadata and controls
29 lines (27 loc) · 914 Bytes
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
name: Run pre-commit and in-place update PR on push
on:
push:
branches-ignore:
# ignore tmp branches used by bors
- 'staging.tmp*'
- 'trying.tmp*'
- 'staging*.tmp'
- 'nolints'
# ignore staging and trying branches used by bors, these are handled by bors.yml
- 'staging'
- 'trying'
- 'ci-dev/**' # ignore branches meant for experiments
- 'master'
pull_request:
# extracted from https://pre-commit.ci/lite
jobs:
main:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
- uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 # v7.0.0
with:
python-version: 3.x
- uses: pre-commit/action@2c7b3805fd2a0fd8c1884dcaebf91fc102a13ecd # v3.0.1
- uses: pre-commit-ci/lite-action@5d6cc0eb514c891a40562a58a8e71576c5c7fb43 # v1.1.0
if: always()