ci: fix doc index

This commit is contained in:
Victor Berger 2020-04-19 23:26:54 +02:00
parent 2101f17b7b
commit 87acba51f8

View file

@ -36,10 +36,10 @@ jobs:
args: --no-deps --all-features
- name: Setup index
run: cp ./doc_index.html ./target/doc/
run: cp ./doc_index.html ./target/doc/index.html
- name: Deploy
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./target/doc
publish_dir: ./target/doc