From 3c8f437f36735ba0ed042daee95a4bc9f50044cd Mon Sep 17 00:00:00 2001
From: Marc Philipp <mail@marcphilipp.de>
Date: Tue, 3 Oct 2023 11:26:56 +0200
Subject: [PATCH] Disable documentation checksum check for now

To diagnose issues with the component diagram
---
 .github/workflows/main.yml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index afde23101ed5..3a890b586391 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -105,6 +105,6 @@ jobs:
       with:
         arguments: --quiet
     - name: Upload Documentation
-      env:
-        GRGIT_USER: ${{ secrets.GH_TOKEN }}
-      run: ./gradle/scripts/publishDocumentationSnapshotOnlyIfNecessary.sh
+      uses: ./.github/actions/run-gradle
+      with:
+        arguments: gitPublishPush -Dscan.tag.Documentation