ci: Remove unnecessary ${{ }}

This commit is contained in:
Jonas Platte
2022-03-03 18:26:35 +01:00
parent e136199bfd
commit ed7667dc8d
2 changed files with 3 additions and 3 deletions

View File

@@ -35,7 +35,7 @@ jobs:
args: --no-deps --workspace --features docsrs -Zrustdoc-map
- name: Deploy docs
if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/main' }}
if: github.event_name == 'push' && github.ref == 'refs/heads/main'
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}