Skip to content

Expand PHP build to be more featureful #9

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

Merged
merged 1 commit into from
May 22, 2025
Merged

Conversation

Qard
Copy link
Member

@Qard Qard commented May 21, 2025

No description provided.

@Qard Qard added the enhancement New feature or request label May 21, 2025
@Qard Qard force-pushed the expand-php-build branch from 69c9d83 to ca35527 Compare May 21, 2025 07:40
Copy link
Member

@mcollina mcollina left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lgtm on green CI

@mcollina
Copy link
Member

Please make sure to expand the compiling instructions if needed

@Qard Qard force-pushed the expand-php-build branch 26 times, most recently from 6efeb03 to 79458dc Compare May 21, 2025 13:14
@Qard Qard force-pushed the expand-php-build branch 12 times, most recently from 8e4dc6d to dadeaa5 Compare May 21, 2025 16:36
@Qard Qard force-pushed the expand-php-build branch from dadeaa5 to d4c1bc0 Compare May 22, 2025 08:14
Copy link
Member

@mcollina mcollina left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lgtm

@mcollina mcollina merged commit 51bfe0a into main May 22, 2025
13 checks passed
@mcollina mcollina deleted the expand-php-build branch May 22, 2025 10:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants