diff options
| author | umarcor <unai.martinezcorral@ehu.eus> | 2022-02-03 23:02:34 +0100 |
|---|---|---|
| committer | umarcor <unai.martinezcorral@ehu.eus> | 2022-02-03 23:06:12 +0100 |
| commit | 45d1b9308910d85bd391e2aabf882f1069dce649 (patch) | |
| tree | 9c40cfd68cf45c0deaa448dbade9f3e58cfd0acf /.github/workflows | |
| parent | aa5ea24eb2c962c4632c07d99ad7a79d613f3424 (diff) | |
| download | ghdl-45d1b9308910d85bd391e2aabf882f1069dce649.tar.gz ghdl-45d1b9308910d85bd391e2aabf882f1069dce649.tar.bz2 ghdl-45d1b9308910d85bd391e2aabf882f1069dce649.zip | |
ci: fix skip-deploy syntax
Diffstat (limited to '.github/workflows')
| -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 |