Skip to content

Commit 18a0950

Browse files
committed
Keep only MACOS ZTS tests
1 parent 2289af8 commit 18a0950

File tree

1 file changed

+3
-130
lines changed

1 file changed

+3
-130
lines changed

.github/workflows/push.yml

Lines changed: 3 additions & 130 deletions
Original file line numberDiff line numberDiff line change
@@ -145,7 +145,7 @@ jobs:
145145
- name: Verify generated files are up to date
146146
if: ${{ !matrix.asan }}
147147
uses: ./.github/actions/verify-generated-files
148-
MACOS_DEBUG_NTS:
148+
MACOS_DEBUG_ZTS:
149149
if: github.repository_owner == 'php' || github.event_name == 'pull_request'
150150
strategy:
151151
fail-fast: false
@@ -155,7 +155,7 @@ jobs:
155155
arch: X64
156156
- os: 14
157157
arch: ARM64
158-
name: MACOS_${{ matrix.arch }}_DEBUG_NTS
158+
name: MACOS_${{ matrix.arch }}_DEBUG_ZTS
159159
runs-on: macos-${{ matrix.os }}
160160
steps:
161161
- name: git checkout
@@ -170,7 +170,7 @@ jobs:
170170
- name: ./configure
171171
uses: ./.github/actions/configure-macos
172172
with:
173-
configurationParameters: --enable-debug --disable-zts
173+
configurationParameters: --enable-debug --enable-zts
174174
- name: make
175175
run: |-
176176
export PATH="$(brew --prefix)/opt/bison/bin:$PATH"
@@ -187,130 +187,3 @@ jobs:
187187
-d opcache.enable_cli=1
188188
- name: Verify generated files are up to date
189189
uses: ./.github/actions/verify-generated-files
190-
WINDOWS:
191-
if: github.repository_owner == 'php' || github.event_name == 'pull_request'
192-
name: WINDOWS_X64_ZTS
193-
runs-on: windows-2019
194-
env:
195-
PHP_BUILD_CACHE_BASE_DIR: C:\build-cache
196-
PHP_BUILD_OBJ_DIR: C:\obj
197-
PHP_BUILD_CACHE_SDK_DIR: C:\build-cache\sdk
198-
PHP_BUILD_SDK_BRANCH: php_downloads_server_migration_v1
199-
PHP_BUILD_CRT: vs16
200-
PLATFORM: x64
201-
THREAD_SAFE: "1"
202-
INTRINSICS: AVX2
203-
PARALLEL: -j2
204-
OPCACHE: "1"
205-
steps:
206-
- name: git config
207-
run: git config --global core.autocrlf false && git config --global core.eol lf
208-
- name: git checkout
209-
uses: actions/checkout@v4
210-
- name: Setup
211-
uses: ./.github/actions/setup-windows
212-
- name: Build
213-
run: .github/scripts/windows/build.bat
214-
- name: Test
215-
run: .github/scripts/windows/test.bat
216-
BENCHMARKING:
217-
name: BENCHMARKING
218-
if: github.repository_owner == 'php' || github.event_name == 'pull_request'
219-
runs-on: ubuntu-22.04
220-
steps:
221-
- name: git checkout
222-
uses: actions/checkout@v4
223-
with:
224-
fetch-depth: 0
225-
- name: apt
226-
run: |
227-
set -x
228-
sudo apt-get update
229-
sudo apt-get install \
230-
bison \
231-
libgmp-dev \
232-
libonig-dev \
233-
libsqlite3-dev \
234-
openssl \
235-
re2c \
236-
valgrind
237-
- name: ccache
238-
uses: hendrikmuhs/ccache-action@v1.2
239-
with:
240-
key: "${{github.job}}-${{hashFiles('main/php_version.h')}}"
241-
append-timestamp: false
242-
- name: ./configure
243-
run: |
244-
set -x
245-
./buildconf --force
246-
./configure \
247-
--disable-debug \
248-
--enable-mbstring \
249-
--enable-opcache \
250-
--enable-option-checking=fatal \
251-
--enable-sockets \
252-
--enable-werror \
253-
--prefix=/usr \
254-
--with-config-file-scan-dir=/etc/php.d \
255-
--with-gmp \
256-
--with-mysqli=mysqlnd \
257-
--with-openssl \
258-
--with-pdo-sqlite \
259-
--with-valgrind
260-
- name: make
261-
run: make -j$(/usr/bin/nproc) >/dev/null
262-
- name: make install
263-
run: |
264-
set -x
265-
sudo make install
266-
sudo mkdir -p /etc/php.d
267-
sudo chmod 777 /etc/php.d
268-
echo mysqli.default_socket=/var/run/mysqld/mysqld.sock > /etc/php.d/mysqli.ini
269-
echo zend_extension=opcache.so >> /etc/php.d/opcache.ini
270-
echo opcache.enable=1 >> /etc/php.d/opcache.ini
271-
echo opcache.enable_cli=1 >> /etc/php.d/opcache.ini
272-
- name: Setup
273-
run: |
274-
git config --global user.name "Benchmark"
275-
git config --global user.email "benchmark@php.net"
276-
sudo service mysql start
277-
mysql -uroot -proot -e "CREATE DATABASE IF NOT EXISTS wordpress"
278-
mysql -uroot -proot -e "CREATE USER 'wordpress'@'localhost' IDENTIFIED BY 'wordpress'; FLUSH PRIVILEGES;"
279-
mysql -uroot -proot -e "GRANT ALL PRIVILEGES ON *.* TO 'wordpress'@'localhost' WITH GRANT OPTION;"
280-
- name: git checkout benchmarking-data
281-
uses: actions/checkout@v4
282-
with:
283-
repository: php/benchmarking-data
284-
ssh-key: ${{ secrets.BENCHMARKING_DATA_DEPLOY_KEY }}
285-
path: benchmark/repos/data
286-
- name: Benchmark
287-
run: php benchmark/benchmark.php true
288-
- name: Store result
289-
if: github.event_name == 'push'
290-
run: |
291-
set -x
292-
cd benchmark/repos/data
293-
git pull --autostash
294-
if [ -e ".git/MERGE_HEAD" ]; then
295-
echo "Merging, can't proceed"
296-
exit 1
297-
fi
298-
git add .
299-
if git diff --cached --quiet; then
300-
exit 0
301-
fi
302-
git commit -m "Add result for ${{ github.repository }}@${{ github.sha }}"
303-
git push
304-
- name: Show diff
305-
if: github.event_name == 'pull_request'
306-
run: |-
307-
set -x
308-
php benchmark/generate_diff.php \
309-
${{ github.sha }} \
310-
$(git merge-base ${{ github.event.pull_request.base.sha }} ${{ github.sha }}) \
311-
> $GITHUB_STEP_SUMMARY
312-
- uses: actions/upload-artifact@v4
313-
with:
314-
name: profiles
315-
path: ${{ github.workspace }}/benchmark/profiles
316-
retention-days: 30

0 commit comments

Comments
 (0)