diff options
| author | umarcor <unai.martinezcorral@ehu.eus> | 2021-12-18 13:17:45 +0100 |
|---|---|---|
| committer | umarcor <unai.martinezcorral@ehu.eus> | 2021-12-18 13:17:58 +0100 |
| commit | a1647d6917f52ac28f51aebaa407c03fd9a4b386 (patch) | |
| tree | dde74b6a9d6105f927481bb1850e7fe1a9893ec4 | |
| parent | e939e344060c7776c87de8f42b9ba3ac59372e58 (diff) | |
| download | ghdl-a1647d6917f52ac28f51aebaa407c03fd9a4b386.tar.gz ghdl-a1647d6917f52ac28f51aebaa407c03fd9a4b386.tar.bz2 ghdl-a1647d6917f52ac28f51aebaa407c03fd9a4b386.zip | |
ci/doc: use option 'skip-deploy' of Action buildthedocs/btd
| -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 |