update CI job to remove references to develop
This commit is contained in:
parent
81c3831c82
commit
f2dbb4106d
|
@ -10,7 +10,6 @@ on:
|
||||||
push:
|
push:
|
||||||
branches:
|
branches:
|
||||||
- master
|
- master
|
||||||
- develop
|
|
||||||
pull_request:
|
pull_request:
|
||||||
workflow_dispatch:
|
workflow_dispatch:
|
||||||
|
|
||||||
|
@ -262,11 +261,7 @@ jobs:
|
||||||
branch="${{ github.base_ref || github.ref_name }}"
|
branch="${{ github.base_ref || github.ref_name }}"
|
||||||
echo "Running on branch '$branch' (base_ref=${{ github.base_ref }}, ref_name=${{ github.head_ref }})"
|
echo "Running on branch '$branch' (base_ref=${{ github.base_ref }}, ref_name=${{ github.head_ref }})"
|
||||||
|
|
||||||
if [[ $branch == "master" ]]; then
|
base_commit=$(git rev-parse origin/master)
|
||||||
base_commit=$(git rev-parse origin/master)
|
|
||||||
elif [[ $branch == "develop" ]]; then
|
|
||||||
base_commit=$(git rev-parse origin/develop)
|
|
||||||
fi
|
|
||||||
|
|
||||||
if [[ ! -z $base_commit ]]; then
|
if [[ ! -z $base_commit ]]; then
|
||||||
echo "target_branch=$branch"
|
echo "target_branch=$branch"
|
||||||
|
|
Loading…
Reference in New Issue