Skip to content

Commit 36f1fed

Browse files
committed
Test
1 parent 58b5cc8 commit 36f1fed

1 file changed

Lines changed: 10 additions & 17 deletions

File tree

.github/workflows/php.yml

Lines changed: 10 additions & 17 deletions
Original file line numberDiff line numberDiff line change
@@ -14,16 +14,16 @@ on: # yamllint disable-line rule:truthy
1414
workflow_dispatch:
1515

1616
jobs:
17-
phplinter:
18-
name: 'PHP-Linter'
19-
strategy:
20-
fail-fast: false
21-
matrix:
22-
php-version: ['8.2', '8.3', '8.4', '8.5']
23-
24-
uses: simplesamlphp/simplesamlphp-test-framework/.github/workflows/reusable_phplinter.yml@v1.10.5
25-
with:
26-
php-version: ${{ matrix.php-version }}
17+
# phplinter:
18+
# name: 'PHP-Linter'
19+
# strategy:
20+
# fail-fast: false
21+
# matrix:
22+
# php-version: ['8.2', '8.3', '8.4', '8.5']
23+
#
24+
# uses: simplesamlphp/simplesamlphp-test-framework/.github/workflows/reusable_phplinter.yml@v1.10.5
25+
# with:
26+
# php-version: ${{ matrix.php-version }}
2727

2828
linter:
2929
name: 'Linter'
@@ -174,13 +174,6 @@ jobs:
174174
extensions: ctype, date, dom, filter, hash, mbstring, openssl, pcre, soap, spl, xml
175175
coverage: none
176176

177-
- name: Disable Redis PHP extension
178-
run: |
179-
if php -m | grep -q redis; then
180-
phpdismod redis || echo "phpdismod not available"
181-
echo "extension=redis.so" > redis.ini && sudo mv redis.ini /etc/php/$(php -r 'echo PHP_MAJOR_VERSION.".".PHP_MINOR_VERSION;')/cli/conf.d/20-redis.ini && sudo rm /etc/php/$(php -r 'echo PHP_MAJOR_VERSION.".".PHP_MINOR_VERSION;')/cli/conf.d/20-redis.ini
182-
fi
183-
184177
- name: Setup problem matchers for PHP
185178
run: echo "::add-matcher::${{ runner.tool_cache }}/php.json"
186179

0 commit comments

Comments
 (0)