diff options
author | Michael Abel <info@abel-ikt.de> | 2022-05-12 11:38:07 +0200 |
---|---|---|
committer | Michael Abel <info@abel-ikt.de> | 2022-05-12 11:40:15 +0200 |
commit | e69a796a616d64f069fc7aac1a98ba79abf5915a (patch) | |
tree | f129ece078876c29e4d8b16b51f5d73b34c7ae00 /.github | |
parent | d178039f62970442973ca7b4fb2a899946469813 (diff) |
Fix depoy mechanism for github pages #1106
Signed-off-by: Michael Abel <info@abel-ikt.de>
Idea: Select only the html folder and upload it to the same place as
before.
Fixes:
Some deploy mechanism is overriding our rest results on github pages
1106
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/gh-pages.yml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml index ca8d2ba9..cd5f9364 100644 --- a/.github/workflows/gh-pages.yml +++ b/.github/workflows/gh-pages.yml @@ -44,4 +44,6 @@ jobs: if: github.ref == 'refs/heads/main' with: github_token: ${{ secrets.GITHUB_TOKEN }} - publish_dir: ./docs/book + publish_dir: ./docs/book/html + destination_dir: html + |