Skip to content

Commit 09dca35

Browse files
authored
Merge pull request #8152 from tautschnig/bugfixes/doc-job
Fix document publishing GitHub Action
2 parents f901091 + 71d3b4e commit 09dca35

File tree

1 file changed

+8
-1
lines changed

1 file changed

+8
-1
lines changed

.github/workflows/publish.yaml

+8-1
Original file line numberDiff line numberDiff line change
@@ -20,7 +20,14 @@ jobs:
2020
run: sudo python3 -m pip install gitpython pandocfilters
2121

2222
- name: Install mermaid diagram filter
23-
run: sudo npm install --global mermaid-filter
23+
run: |
24+
git clone https://github.com/raghur/mermaid-filter/
25+
cd mermaid-filter
26+
sed -i '1s/{/{ "overrides": { "puppeteer": "^21" },/' package.json
27+
sed -i '1s/^\/\/ //' index.js
28+
npm install --loglevel verbose
29+
sudo npm link --loglevel verbose
30+
cd ..
2431
2532
- name: Build documentation
2633
run: cd doc/doxygen-root && make && touch html/.nojekyll

0 commit comments

Comments
 (0)