From 18a679ce68f87120a4a75be6a1992260ef337405 Mon Sep 17 00:00:00 2001
From: Robbert van der Helm <mail@robbertvanderhelm.nl>
Date: Thu, 16 Jun 2022 13:11:36 +0200
Subject: [PATCH] Only run docs workflow on master branch pushes

This shouldn't be run for PRs.
---
 .github/workflows/docs.yml | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index e4ad1b06..505d8d6a 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -4,13 +4,6 @@ on:
   push:
     branches:
       - master
-    tags:
-      # Run when pushing version tags, since otherwise it's impossible to
-      # restart a successful build after pushing a tag
-      - '*.*.*'
-  pull_request:
-    branches:
-      - master
 
 defaults:
   run: