clip: Throw an exception if min > max #472 (#477)
#197
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Deploy Documentation | |
| on: | |
| release: | |
| types: [published] | |
| push: | |
| branches: | |
| - draft | |
| - master | |
| jobs: | |
| deploy: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Inject env variables | |
| uses: rlespinasse/[email protected] | |
| - uses: actions/setup-node@v3 | |
| with: | |
| node-version: 'lts/*' | |
| - uses: actions/checkout@v3 | |
| - run: | | |
| npm install | |
| npm run generate | |
| working-directory: dev | |
| - name: clone gh-pages and clean-up | |
| if: ${{ env.GITHUB_REF_SLUG == 'master' }} | |
| run: | | |
| git clone --branch gh-pages https://github.com/Open-EO/openeo-processes.git gh-pages | |
| find gh-pages -maxdepth 1 -type f -delete | |
| rm -rf gh-pages/meta/ | |
| rm -rf gh-pages/proposals/ | |
| - name: create empty gh-pages folder | |
| if: ${{ env.GITHUB_REF_SLUG != 'master' }} | |
| run: mkdir gh-pages | |
| - run: | | |
| cp dev/docs.html index.html | |
| cp dev/processes.json processes.json | |
| rsync -vrm --include='*.json' --include='*.html' --include='meta/***' --include='proposals/***' --exclude='*' . gh-pages | |
| - name: deploy to root (master) | |
| uses: peaceiris/actions-gh-pages@v3 | |
| if: ${{ env.GITHUB_REF_SLUG == 'master' }} | |
| with: | |
| github_token: ${{ secrets.GITHUB_TOKEN }} | |
| publish_dir: gh-pages | |
| user_name: 'openEO CI' | |
| user_email: [email protected] | |
| cname: processes.openeo.org | |
| - name: deploy to ${{ env.GITHUB_REF_SLUG }} | |
| uses: peaceiris/actions-gh-pages@v3 | |
| if: ${{ env.GITHUB_REF_SLUG != 'master' }} | |
| with: | |
| github_token: ${{ secrets.GITHUB_TOKEN }} | |
| publish_dir: gh-pages | |
| destination_dir: ${{ env.GITHUB_REF_SLUG }} | |
| user_name: 'openEO CI' | |
| user_email: [email protected] |