kopia lustrzana https://github.com/cheeaun/phanpy
Try to "debounce" this automerge workflow
rodzic
1bc1e57348
commit
572d778b4b
|
@ -12,14 +12,21 @@ jobs:
|
||||||
github.event.pull_request.base.ref == 'main' &&
|
github.event.pull_request.base.ref == 'main' &&
|
||||||
github.event.pull_request.head.ref == 'l10n_main'
|
github.event.pull_request.head.ref == 'l10n_main'
|
||||||
runs-on: ubuntu-latest
|
runs-on: ubuntu-latest
|
||||||
# concurrency:
|
|
||||||
# group: ${{ github.workflow }}-${{ github.ref }}
|
|
||||||
# cancel-in-progress: true
|
|
||||||
|
|
||||||
steps:
|
steps:
|
||||||
- uses: actions/checkout@v4
|
- uses: actions/checkout@v4
|
||||||
with:
|
with:
|
||||||
fetch-depth: 0
|
fetch-depth: 0
|
||||||
|
- run: sleep 15
|
||||||
|
|
||||||
|
- name: Check if the branch is dirty
|
||||||
|
run: |
|
||||||
|
git fetch origin ${{ github.event.pull_request.head.ref }}
|
||||||
|
if [ $(git rev-parse HEAD) != $(git rev-parse origin/${{ github.event.pull_request.head.ref }}) ]; then
|
||||||
|
echo "Branch is dirty. Exiting..."
|
||||||
|
exit 0
|
||||||
|
fi
|
||||||
|
|
||||||
- name: Check auto-merge conditions
|
- name: Check auto-merge conditions
|
||||||
run: |
|
run: |
|
||||||
BASE_SHA="${{ github.event.pull_request.base.sha }}"
|
BASE_SHA="${{ github.event.pull_request.base.sha }}"
|
||||||
|
|
Ładowanie…
Reference in New Issue