Skip to content

Commit ef8aef6

Browse files
sebastianbergmannsebastianbergmann
committed
Merge branch '10.5' into 11.5
2 parents d341ee9 + ed8f8f4 commit ef8aef6

File tree

1 file changed

+88
-0
lines changed

1 file changed

+88
-0
lines changed

‎.github/workflows/ci.yaml

Lines changed: 88 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -23,6 +23,17 @@ jobs:
2323
steps:
2424
- name: Checkout
2525
uses: actions/checkout@v5
26+
with:
27+
fetch-depth: 1
28+
ref: ${{ github.event.pull_request.head.sha || github.sha }}
29+
30+
- name: Use local branch
31+
shell: bash
32+
run: |
33+
BRANCH=$([ "${{ github.event_name }}" == "pull_request" ] && echo "${{ github.head_ref }}" || echo "${{ github.ref_name }}")
34+
git branch -D $BRANCH 2>/dev/null || true
35+
git branch $BRANCH HEAD
36+
git checkout $BRANCH
2637
2738
- name: Install PHP
2839
uses: shivammathur/setup-php@v2
@@ -47,6 +58,17 @@ jobs:
4758
steps:
4859
- name: Checkout
4960
uses: actions/checkout@v5
61+
with:
62+
fetch-depth: 1
63+
ref: ${{ github.event.pull_request.head.sha || github.sha }}
64+
65+
- name: Use local branch
66+
shell: bash
67+
run: |
68+
BRANCH=$([ "${{ github.event_name }}" == "pull_request" ] && echo "${{ github.head_ref }}" || echo "${{ github.ref_name }}")
69+
git branch -D $BRANCH 2>/dev/null || true
70+
git branch $BRANCH HEAD
71+
git checkout $BRANCH
5072
5173
- name: Install PHP
5274
uses: shivammathur/setup-php@v2
@@ -71,6 +93,17 @@ jobs:
7193
steps:
7294
- name: Checkout
7395
uses: actions/checkout@v5
96+
with:
97+
fetch-depth: 1
98+
ref: ${{ github.event.pull_request.head.sha || github.sha }}
99+
100+
- name: Use local branch
101+
shell: bash
102+
run: |
103+
BRANCH=$([ "${{ github.event_name }}" == "pull_request" ] && echo "${{ github.head_ref }}" || echo "${{ github.ref_name }}")
104+
git branch -D $BRANCH 2>/dev/null || true
105+
git branch $BRANCH HEAD
106+
git checkout $BRANCH
74107
75108
- name: Install PHP
76109
uses: shivammathur/setup-php@v2
@@ -118,6 +151,17 @@ jobs:
118151

119152
- name: Checkout
120153
uses: actions/checkout@v5
154+
with:
155+
fetch-depth: 1
156+
ref: ${{ github.event.pull_request.head.sha || github.sha }}
157+
158+
- name: Use local branch
159+
shell: bash
160+
run: |
161+
BRANCH=$([ "${{ github.event_name }}" == "pull_request" ] && echo "${{ github.head_ref }}" || echo "${{ github.ref_name }}")
162+
git branch -D $BRANCH 2>/dev/null || true
163+
git branch $BRANCH HEAD
164+
git checkout $BRANCH
121165
122166
- name: Install PHP with extensions
123167
uses: shivammathur/setup-php@v2
@@ -166,6 +210,17 @@ jobs:
166210

167211
- name: Checkout
168212
uses: actions/checkout@v5
213+
with:
214+
fetch-depth: 1
215+
ref: ${{ github.event.pull_request.head.sha || github.sha }}
216+
217+
- name: Use local branch
218+
shell: bash
219+
run: |
220+
BRANCH=$([ "${{ github.event_name }}" == "pull_request" ] && echo "${{ github.head_ref }}" || echo "${{ github.ref_name }}")
221+
git branch -D $BRANCH 2>/dev/null || true
222+
git branch $BRANCH HEAD
223+
git checkout $BRANCH
169224
170225
- name: Install PHP with extensions
171226
uses: shivammathur/setup-php@v2
@@ -193,6 +248,17 @@ jobs:
193248
steps:
194249
- name: Checkout
195250
uses: actions/checkout@v5
251+
with:
252+
fetch-depth: 1
253+
ref: ${{ github.event.pull_request.head.sha || github.sha }}
254+
255+
- name: Use local branch
256+
shell: bash
257+
run: |
258+
BRANCH=$([ "${{ github.event_name }}" == "pull_request" ] && echo "${{ github.head_ref }}" || echo "${{ github.ref_name }}")
259+
git branch -D $BRANCH 2>/dev/null || true
260+
git branch $BRANCH HEAD
261+
git checkout $BRANCH
196262
197263
- name: Install PHP with extensions
198264
uses: shivammathur/setup-php@v2
@@ -240,6 +306,17 @@ jobs:
240306
steps:
241307
- name: Checkout
242308
uses: actions/checkout@v5
309+
with:
310+
fetch-depth: 1
311+
ref: ${{ github.event.pull_request.head.sha || github.sha }}
312+
313+
- name: Use local branch
314+
shell: bash
315+
run: |
316+
BRANCH=$([ "${{ github.event_name }}" == "pull_request" ] && echo "${{ github.head_ref }}" || echo "${{ github.ref_name }}")
317+
git branch -D $BRANCH 2>/dev/null || true
318+
git branch $BRANCH HEAD
319+
git checkout $BRANCH
243320
244321
- name: Install PHP with extensions
245322
uses: shivammathur/setup-php@v2
@@ -299,6 +376,17 @@ jobs:
299376
steps:
300377
- name: Checkout
301378
uses: actions/checkout@v5
379+
with:
380+
fetch-depth: 1
381+
ref: ${{ github.event.pull_request.head.sha || github.sha }}
382+
383+
- name: Use local branch
384+
shell: bash
385+
run: |
386+
BRANCH=$([ "${{ github.event_name }}" == "pull_request" ] && echo "${{ github.head_ref }}" || echo "${{ github.ref_name }}")
387+
git branch -D $BRANCH 2>/dev/null || true
388+
git branch $BRANCH HEAD
389+
git checkout $BRANCH
302390
303391
- name: Install PHP with extensions
304392
uses: shivammathur/setup-php@v2

0 commit comments

Comments
 (0)