diff options
-rw-r--r-- | .github/workflows/Test.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/Test.yml b/.github/workflows/Test.yml index 0dc379333..18f06619d 100644 --- a/.github/workflows/Test.yml +++ b/.github/workflows/Test.yml @@ -66,7 +66,7 @@ jobs: uses: buildthedocs/btd@v0 with: token: ${{ github.token }} - skip-deploy: github.event_name == 'pull_request' + skip-deploy: ${{ github.event_name == 'pull_request' }} #- run: nroff -man doc/_build/man/ghdl.1 |