Try eliding ACTOR

This commit is contained in:
Alex Crichton 2019-08-14 12:30:55 -07:00
parent fa8e01294b
commit 23941da930

View File

@ -42,19 +42,14 @@ jobs:
rustup default stable rustup default stable
- name: Build documentation - name: Build documentation
run: cargo doc --no-deps run: cargo doc --no-deps
- name: Dump GitHub context
env:
GITHUB_CONTEXT: ${{ toJson(github) }}
run: echo "$GITHUB_CONTEXT"
- name: Publish documentation - name: Publish documentation
run: | run: |
cd target/doc cd target/doc
git init git init
git add . git add .
git -c user.name='ci' -c user.email='ci' commit -m init git -c user.name='ci' -c user.email='ci' commit -m init
git push -f -q https://$ACTOR:$GITHUB_TOKEN@github.com/$REPOSITORY HEAD:gh-pages git push -f -q https://git:$GITHUB_TOKEN@github.com/$REPOSITORY HEAD:gh-pages
if: github.event_name == 'push' && github.event.ref == 'refs/heads/master' if: github.event_name == 'push' && github.event.ref == 'refs/heads/master'
env: env:
GITHUB_TOKEN: ${{ secrets.github_token }} GITHUB_TOKEN: ${{ secrets.github_token }}
ACTOR: ${{ github.actor }}
REPOSITORY: ${{ github.repository }} REPOSITORY: ${{ github.repository }}