From 53cd110fcf3f4d5511f5d43010f56a17ca8d7486 Mon Sep 17 00:00:00 2001
From: Tim van Dijen <tvdijen@gmail.com>
Date: Thu, 14 Jul 2022 22:17:22 +0200
Subject: [PATCH] Fix: build docs on push
---
.github/workflows/documentation.yml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml
index 298642bfe..9a4feec0a 100644
--- a/.github/workflows/documentation.yml
+++ b/.github/workflows/documentation.yml
@@ -37,8 +37,8 @@ jobs:
runs-on: [ubuntu-latest]
steps:
- - name: Run docs build if any of markdown-files have changed
- if: steps.changed-files-specific.outputs.any_changed == 'true' && github.event_name != 'pull_request'
+ - name: Run docs build
+ if: github.event_name != 'pull_request'
uses: actions/github-script@v6
with:
# Token has to be generated on a user account that controls the docs-repository.
--
GitLab