Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

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

Merged

Conversation

jrfnl
Copy link
Contributor

@jrfnl jrfnl commented Nov 23, 2023

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.

Copy link

codecov bot commented Nov 23, 2023

Codecov Report

All modified and coverable lines are covered by tests ✅

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

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

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@jrfnl
Copy link
Contributor Author

jrfnl commented Nov 23, 2023

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 shivammathur merged commit bfbd388 into shivammathur:develop Nov 23, 2023
62 checks passed
@jrfnl jrfnl deleted the feature/ghactions-update-for-php-8.3 branch November 23, 2023 04:38
@shivammathur
Copy link
Owner

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

@jrfnl
Copy link
Contributor Author

jrfnl commented Nov 27, 2023

@shivammathur Excellent. Thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants