From 59b8dfa9d355785209aa06bc16b51fcec19565c2 Mon Sep 17 00:00:00 2001 From: Tom Cools Date: Thu, 25 Jun 2026 10:53:10 +0200 Subject: [PATCH] chore: do not build solver for docs only PR --- .github/workflows/pull_request.yml | 1 + .github/workflows/pull_request_quickstarts.yml | 1 + .github/workflows/pull_request_secure.yml | 1 + .github/workflows/pull_request_secure_downstream.yml | 1 + 4 files changed, 4 insertions(+) diff --git a/.github/workflows/pull_request.yml b/.github/workflows/pull_request.yml index 22b3f97da7..9f5e5ecbd8 100644 --- a/.github/workflows/pull_request.yml +++ b/.github/workflows/pull_request.yml @@ -14,6 +14,7 @@ on: - '**.md' - '**.adoc' - '*.txt' + - 'docs/**' jobs: java: diff --git a/.github/workflows/pull_request_quickstarts.yml b/.github/workflows/pull_request_quickstarts.yml index 106ad21977..1108443149 100644 --- a/.github/workflows/pull_request_quickstarts.yml +++ b/.github/workflows/pull_request_quickstarts.yml @@ -18,6 +18,7 @@ on: - '**.md' - '**.adoc' - '*.txt' + - 'docs/**' jobs: java: diff --git a/.github/workflows/pull_request_secure.yml b/.github/workflows/pull_request_secure.yml index b8404499c2..300686e4bf 100644 --- a/.github/workflows/pull_request_secure.yml +++ b/.github/workflows/pull_request_secure.yml @@ -25,6 +25,7 @@ on: - '.gitignore' - '**.md' - '*.txt' + - 'docs/**' jobs: # Check if the user is a member of the organization; if so, allow the PR to sail through. diff --git a/.github/workflows/pull_request_secure_downstream.yml b/.github/workflows/pull_request_secure_downstream.yml index 0b8ed009d8..3b2fd517dd 100644 --- a/.github/workflows/pull_request_secure_downstream.yml +++ b/.github/workflows/pull_request_secure_downstream.yml @@ -25,6 +25,7 @@ on: - '.gitignore' - '**.md' - '*.txt' + - 'docs/**' jobs: # Check if the user is a member of the organization; if so, allow the PR to sail through.