openharmony/third_party_rust_cfg-if
1
0
Fork 0
mirror of https://gitee.com/openharmony/third_party_rust_cfg-if synced 2024-11-26 16:52:23 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Another attempt at gh-pages

Browse Source
This commit is contained in:
Alex Crichton 2019-09-26 13:26:38 -07:00
parent f779d28bba
commit f71bf60f21
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
.github/workflows/main.yml vendored
View File

@ -47,7 +47,10 @@ jobs:
run: |
cd target/doc
git init
git remote add origin https://x-access-token:${{ secrets.github_token }}@github.com/${{ github.repository }}
git fetch origin
git reset --hard "origin/gh-pages^" --
git add .
git -c user.name='ci' -c user.email='ci' commit -m init
git push -f -q https://x-access-token:${{ secrets.github_token }}@github.com/${{ github.repository }} HEAD:gh-pages
git push -f -q origin HEAD:gh-pages
if: github.event_name == 'push' && github.event.ref == 'refs/heads/master'