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

Split the linter php part #824

Open
wants to merge 3 commits into
base: main
Choose a base branch
from
Open

Split the linter php part #824

wants to merge 3 commits into from

Conversation

zak39
Copy link
Collaborator

@zak39 zak39 commented May 16, 2023

I splitted the linter php part in another file that is "lint-php.yml".

I splitted the linter php part in another file that is "lint-php.yml".

Signed-off-by: Baptiste Fotia <[email protected]>
@zak39 zak39 added the build Modification related to the build system label May 16, 2023
@zak39 zak39 requested a review from acdmft May 16, 2023 12:38
@zak39 zak39 self-assigned this May 16, 2023
@zak39 zak39 added the draft Don't accept the PR label May 16, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
build Modification related to the build system draft Don't accept the PR
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant