From 972c71c7fa4d6f03894f16482f5091825ecf2ea1 Mon Sep 17 00:00:00 2001 From: Pedro Algarvio Date: Wed, 1 Feb 2023 18:03:14 +0000 Subject: [PATCH] Update workflows if `tools/pre_commit.py` also changes. Signed-off-by: Pedro Algarvio --- .pre-commit-config.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.pre-commit-config.yaml b/.pre-commit-config.yaml index 896c54b0a06..46ec9b280f4 100644 --- a/.pre-commit-config.yaml +++ b/.pre-commit-config.yaml @@ -10,7 +10,7 @@ repos: - id: tools alias: generate-workflows name: Generate GitHub Workflow Templates - files: ^.github/workflows/templates/.*$ + files: ^(tools/pre_commit\.py|.github/workflows/templates/.*)$ pass_filenames: false args: - pre-commit