Skip to content
Snippets Groups Projects
Verified Commit 44be6851 authored by Loris Moulin's avatar Loris Moulin
Browse files

chore: fix pipeline docs

parent 0a26f057
Branches
No related merge requests found
......@@ -35,13 +35,15 @@ jobs:
cargo doc --no-deps
echo "<meta http-equiv=\"refresh\" content=\"0; url=configuration\">" > target/doc/index.html
- name: Move docs
run: |
mkdir -p ./doc
mv ./target/doc/* ./doc
git config user.email "github-action@users.noreply.github.com"
git config user.name "GitHub Action"
git config user.password ${{ secrets.GH_PAGES_TOKEN }}
git config user.password "${{ secrets.GH_PAGES_TOKEN }}"
git checkout --orphan gh-pages
mkdir to_delete
shopt -s extglob
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment