From 74a92d79917f47bdc457d287d9d34464316eb4e1 Mon Sep 17 00:00:00 2001
From: Joerg Wunsch <j@uriah.heep.sax.de>
Date: Tue, 26 Apr 2022 21:29:46 +0200
Subject: [PATCH] Try to exclude the 'onlinedocs' branch from actions

There's no sourcecode within that branch, anyway.
---
 .github/workflows/build.yml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 7951592c..900864f3 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -20,8 +20,14 @@ name: Build
 
 on:
   push:
+    branches-ignore:
+      - 'onlinedocs'
   pull_request:
+    branches-ignore:
+      - 'onlinedocs'
   workflow_call:
+    branches-ignore:
+      - 'onlinedocs'
 
 env:
   BUILD_TYPE: RelWithDebInfo