Skip to content

Rename Remote UDP extension #540 #143

Rename Remote UDP extension #540

Rename Remote UDP extension #540 #143

Workflow file for this run

name: Deploy API Spec
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 build
- 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-api.git gh-pages
find gh-pages -maxdepth 1 -type f -delete
rm -rf gh-pages/assets/
- name: create empty gh-pages folder
if: ${{ env.GITHUB_REF_SLUG != 'master' }}
run: mkdir gh-pages
- run: |
cp redoc.html gh-pages/index.html
cp errors.json gh-pages/errors.json
cp -rv assets/. gh-pages/assets/
- name: deploy to root (master)
uses: peaceiris/actions-gh-pages@v3
if: ${{ env.GITHUB_REF_SLUG == 'master' }}
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
keep_files: true
publish_dir: gh-pages
user_name: 'openEO CI'
user_email: [email protected]
- 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]