diff options
Diffstat (limited to '.github/workflows/hdfeos5.yml')
-rw-r--r-- | .github/workflows/hdfeos5.yml | 19 |
1 files changed, 18 insertions, 1 deletions
diff --git a/.github/workflows/hdfeos5.yml b/.github/workflows/hdfeos5.yml index 8378b4c..2140fb6 100644 --- a/.github/workflows/hdfeos5.yml +++ b/.github/workflows/hdfeos5.yml @@ -1,6 +1,23 @@ name: hdfeos5 -on: [push, pull_request] +on: + workflow_dispatch: + push: + pull_request: + branches: [ develop ] + paths-ignore: + - '.github/CODEOWNERS' + - '.github/FUNDING.yml' + - 'doc/**' + - 'release_docs/**' + - 'ACKNOWLEDGEMENTS' + - 'COPYING**' + - '**.md' + +# Using concurrency to cancel any in-progress job or run +concurrency: + group: ${{ github.ref }} + cancel-in-progress: true jobs: build: |