From 0435b0c589ce89e856650cea2246751db7c5a6a5 Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Mon, 8 Jan 2024 09:46:40 +0000
Subject: [PATCH] Fix document publishing GitHub Action

It seems that Chromium is no longer found automatically. See also
https://github.com/puppeteer/puppeteer/issues/9533.
---
 .github/workflows/publish.yaml | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/publish.yaml b/.github/workflows/publish.yaml
index 552dbfc02b23..95054b816986 100644
--- a/.github/workflows/publish.yaml
+++ b/.github/workflows/publish.yaml
@@ -20,7 +20,14 @@ jobs:
         run: sudo python3 -m pip install gitpython pandocfilters
 
       - name: Install mermaid diagram filter
-        run: sudo npm install --global mermaid-filter
+        run: |
+          sudo npm cache clean --force
+          sudo npm install --loglevel verbose --global mermaid-filter
+
+      - name: Ensure Puppeteer (Chromium API) is fully installed
+        run: |
+          sudo node /usr/local/lib/node_modules/puppeteer/install.js
+          echo sudo snap install chromium
 
       - name: Build documentation
         run: cd doc/doxygen-root && make && touch html/.nojekyll