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

[DEV] Update PHP version for PHP CI #4169

Closed
Soare-Robert-Daniel opened this issue Dec 8, 2023 · 1 comment · Fixed by #4170
Closed

[DEV] Update PHP version for PHP CI #4169

Soare-Robert-Daniel opened this issue Dec 8, 2023 · 1 comment · Fixed by #4170
Assignees
Labels
released Indicate that an issue has been resolved and released in a particular version of the product. tiny (1h) - This label is used for issues that can be completed in under an hour.

Comments

@Soare-Robert-Daniel
Copy link
Contributor

The PHP version needs an update for the PHP Lint job.

image

I suggest using the same version as the PHPStan job.

@Soare-Robert-Daniel Soare-Robert-Daniel self-assigned this Dec 8, 2023
@Soare-Robert-Daniel Soare-Robert-Daniel linked a pull request Dec 8, 2023 that will close this issue
6 tasks
@Soare-Robert-Daniel Soare-Robert-Daniel added the tiny (1h) - This label is used for issues that can be completed in under an hour. label Dec 8, 2023
@pirate-bot
Copy link
Collaborator

🎉 This issue has been resolved in version 3.7.5 🎉

The release is available on GitHub release

Your semantic-release bot 📦🚀

@pirate-bot pirate-bot added the released Indicate that an issue has been resolved and released in a particular version of the product. label Dec 22, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
released Indicate that an issue has been resolved and released in a particular version of the product. tiny (1h) - This label is used for issues that can be completed in under an hour.
Projects
None yet
Development

Successfully merging a pull request may close this issue.

3 participants