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

Change push username for gh-pages

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

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

@ -49,5 +49,5 @@ jobs:
git init
git add .
git -c user.name='ci' -c user.email='ci' commit -m init
git push -f -q https://git:${{ secrets.github_token }}@github.com/${{ github.repository }} HEAD:gh-pages
git push -f -q https://x-access-token:${{ secrets.github_token }}@github.com/${{ github.repository }} HEAD:gh-pages
if: github.event_name == 'push' && github.event.ref == 'refs/heads/master'