diff options
Diffstat (limited to '.github/workflows/Test.yml')
| -rw-r--r-- | .github/workflows/Test.yml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/.github/workflows/Test.yml b/.github/workflows/Test.yml index 67ea03e6f..a9f78b58c 100644 --- a/.github/workflows/Test.yml +++ b/.github/workflows/Test.yml @@ -45,15 +45,14 @@ jobs: docker run --rm -v $(pwd):/src -w /opt/ghdl ghdl/doc /src/run.sh - name: '📓 BuildTheDocs (BTD)' - if: github.event_name != 'pull_request' uses: buildthedocs/btd@v0 with: token: ${{ github.token }} + skip-deploy: github.event_name == 'pull_request' #- run: nroff -man doc/_build/man/ghdl.1 - name: '📤 Upload artifact: HTML, LaTeX and man' - if: github.event_name != 'pull_request' uses: actions/upload-artifact@v2 with: name: doc |