Skip to content

Address to OpenEO RestAPI added to workshop2443 index #65

Address to OpenEO RestAPI added to workshop2443 index

Address to OpenEO RestAPI added to workshop2443 index #65

Workflow file for this run

name: Main CI Pipeline
on:
push:
branches:
- '**'
pull_request:
branches:
- main
jobs:
build_candidate:
if: github.ref == 'refs/heads/main' || contains(github.event.head_commit.message, '--do-build')
concurrency:
group: build_candidate:-${{ github.ref }}
cancel-in-progress: true
uses: ./.github/workflows/build.yml
secrets:
DOCKER_USERNAME: ${{ secrets.DOCKER_USERNAME }}
DOCKER_PASSWORD: ${{ secrets.DOCKER_PASSWORD }}
test:
needs: build_candidate
concurrency:
group: test-${{ github.ref }}
cancel-in-progress: true
uses: ./.github/workflows/test.yml
secrets:
DOCKER_USERNAME: ${{ secrets.DOCKER_USERNAME }}
DOCKER_PASSWORD: ${{ secrets.DOCKER_PASSWORD }}
publish:
needs: test
if: github.ref == 'refs/heads/main'
concurrency:
group: publish-${{ github.ref }}
cancel-in-progress: true
uses: ./.github/workflows/publish.yml
secrets:
DOCKER_USERNAME: ${{ secrets.DOCKER_USERNAME }}
DOCKER_PASSWORD: ${{ secrets.DOCKER_PASSWORD }}