diff options
| author | umarcor <38422348+umarcor@users.noreply.github.com> | 2020-05-20 07:51:37 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-20 07:51:37 +0200 |
| commit | 4afe2564d96763b85ec837337a4b1992b8c4bcaa (patch) | |
| tree | 03747513afb38a6f1c7ddb038458f78237111a43 /.github/workflows/doc.yml | |
| parent | 4ae38ebfb077263cc24d63e84707322af39d0b0b (diff) | |
| download | ghdl-4afe2564d96763b85ec837337a4b1992b8c4bcaa.tar.gz ghdl-4afe2564d96763b85ec837337a4b1992b8c4bcaa.tar.bz2 ghdl-4afe2564d96763b85ec837337a4b1992b8c4bcaa.zip | |
ci: use eine/tip to provide nightly releases (#1315)
* ci: use eine/tip
* ci: skip 'nightly' builds on Travis and AppVeyor
Diffstat (limited to '.github/workflows/doc.yml')
| -rw-r--r-- | .github/workflows/doc.yml | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml index 9431d4f84..9dd708a5c 100644 --- a/.github/workflows/doc.yml +++ b/.github/workflows/doc.yml @@ -1,5 +1,9 @@ name: 'doc' -on: [push, pull_request] + +on: + push: + pull_request: + jobs: linux: runs-on: ubuntu-latest |