search

shivammathur / setup-php

GitHub action to set up PHP with extensions, php.ini configuration, coverage drivers, and various tools.
https://setup-php.com
MIT License
2.89k stars 337 forks source link

GH Actions/docs workflow: generate extensions page for PHP 8.3 #787

Closed jrfnl closed 9 months ago

jrfnl commented 9 months ago

A Pull Request should be associated with a Discussion.

Related discussion: N/A

The wiki is missing details on the installed extensions on PHP 8.3.

Description

This PR adds PHP 8.3 to the docs workflow to generate the information for the wiki.

codecov[bot] commented 9 months ago

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Comparison is base (a36e1e5) 100.00% compared to head (3c525df) 100.00%.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## develop #787 +/- ## ========================================= Coverage 100.00% 100.00% ========================================= Files 7 7 Lines 591 591 Branches 99 99 ========================================= Hits 591 591 ```

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.

jrfnl commented 9 months ago

Note: I wasn't sure whether to also add PHP 8.4 already, but the docs for 8.3 should be available what with the release today.

shivammathur commented 9 months ago

@jrfnl Thanks for the contribution. The wiki should now have extensions for PHP 8.3 and 8.4 as well.

jrfnl commented 9 months ago

@shivammathur Excellent. Thanks!