From 1effaf4ee83db8b18b61e7a7a4e69a705ed21eec Mon Sep 17 00:00:00 2001 From: Florent Sorel Date: Tue, 30 Jun 2026 09:03:37 +0200 Subject: [PATCH] chore(dockerfile): filtrer le lint hadolint par paths MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Ajoute un filtre `paths` (**/Dockerfile* + le workflow lui-même) sur les triggers `pull_request` et `push` du workflow Dockerfile distribué. Le job hadolint ne se déclenche plus sur les PR/push qui ne touchent aucun Dockerfile (bruit observé sur des PR docs-only). `merge_group` reste non filtré : les required checks en merge queue continuent de tourner, pas de PR bloquée. Co-Authored-By: Claude Opus 4.8 --- sample/workflows/dockerfile.yml | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/sample/workflows/dockerfile.yml b/sample/workflows/dockerfile.yml index 8b78bba2..d497cb3e 100644 --- a/sample/workflows/dockerfile.yml +++ b/sample/workflows/dockerfile.yml @@ -9,10 +9,16 @@ on: - opened - synchronize - reopened + paths: + - "**/Dockerfile*" + - ".github/workflows/dockerfile.yml" push: branches: - master - prod + paths: + - "**/Dockerfile*" + - ".github/workflows/dockerfile.yml" jobs: dockerfile: