Skip to content

Commit

Permalink
update (#132)
Browse files Browse the repository at this point in the history
  • Loading branch information
karl-johan-grahn authored Nov 14, 2024
1 parent 95c3471 commit 20e213e
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions .github/workflows/pull_request_versioned_doc.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -27,10 +27,10 @@ jobs:
- name: Install plugins
run: pip3 install mike mkdocs-mermaid2-plugin

- name: Run prepare_theme.sh script from repository to merge theme_common and theme_override folders
- name: Run prepare_theme_pr.sh script from repository to merge theme_common and theme_override folders
run: |
chmod +x prepare_theme.sh
./prepare_theme.sh
chmod +x prepare_theme_pr.sh
./prepare_theme_pr.sh
- name: Configure git user
run: |
Expand Down

0 comments on commit 20e213e

Please sign in to comment.