Skip to content

Merge pull request #1025 from pascalgouedo/dev_dd_pgo_doc #326

Merge pull request #1025 from pascalgouedo/dev_dd_pgo_doc

Merge pull request #1025 from pascalgouedo/dev_dd_pgo_doc #326

name: check_target
on: [push, pull_request]
jobs:
check_target:
runs-on: ubuntu-latest
steps:
- if: ${{ (github.event.pull_request.head.ref == 'dev' && github.event.pull_request.base.ref == 'master') || github.event.pull_request.base.ref == 'dev' || github.event.push.ref != 'refs/heads/master'}}
run: exit 0
- if: ${{ github.event.pull_request.base.ref != 'dev' || github.event.push.ref == 'refs/heads/master'}}
run: exit 1