Skip to content

Added lint in github actions#493

Merged
shish merged 1 commit intomasterfrom
lint-ci
Dec 2, 2024
Merged

Added lint in github actions#493
shish merged 1 commit intomasterfrom
lint-ci

Conversation

@staabm
Copy link
Collaborator

@staabm staabm commented Dec 2, 2024

adding lint jobs, to make sure we don't accidentally use a feature which does not fit our minimum php version

@staabm staabm requested a review from shish December 2, 2024 19:35
@shish shish merged commit eae3d67 into master Dec 2, 2024
@staabm staabm deleted the lint-ci branch December 2, 2024 20:16
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