diff options
| author | Marc Mueller <30130371+cdce8p@users.noreply.github.com> | 2022-11-14 21:24:13 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-11-14 20:24:13 +0000 |
| commit | 176f52fae74231497ec6b34e300d1ba7baf137a2 (patch) | |
| tree | 9faa335c5d2ea8574ec72f95ca3327775d8b0133 /.pre-commit-config.yaml | |
| parent | 5b57f941b5ed95d55967bec08997882e5751bd88 (diff) | |
| download | pylint-git-176f52fae74231497ec6b34e300d1ba7baf137a2.tar.gz | |
Bump timeout for docs check [ci] (#7771)
Diffstat (limited to '.pre-commit-config.yaml')
0 files changed, 0 insertions, 0 deletions