update-pyi-files: require_serial to avoid mp explosion
This commit is contained in:
parent
f38d7e4a59
commit
04ce3ac7c9
@ -24,6 +24,7 @@ repos:
|
|||||||
name: update-pyi-files
|
name: update-pyi-files
|
||||||
always_run: true
|
always_run: true
|
||||||
language: system
|
language: system
|
||||||
|
require_serial: true
|
||||||
description: 'Update pyi files as needed'
|
description: 'Update pyi files as needed'
|
||||||
entry: python3 scripts/make_pyi.py
|
entry: python3 scripts/make_pyi.py
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user