Skip to content

chore: add php85 docker image and fix psalm - #123

Merged
JellyBellyDev merged 1 commit into
badges:masterfrom
garak:docker-php85
Jul 27, 2026
Merged

chore: add php85 docker image and fix psalm#123
JellyBellyDev merged 1 commit into
badges:masterfrom
garak:docker-php85

Conversation

@garak

@garak garak commented Jul 24, 2026

Copy link
Copy Markdown
Collaborator

Fix #109

I had to lower the psalm level and suppress some errors to keep the amount of changes at a decent level.
We should probably open another issue about improving the code format.

IMO we should also drop PHP 8.1 (maintaining five versions is too much, and 8.1 has been EOL since the end of last year, by the way). Also subject for another issue/PR.

@garak
garak requested a review from JellyBellyDev July 24, 2026 09:46

@JellyBellyDev JellyBellyDev left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

LGTM 👍

@JellyBellyDev
JellyBellyDev merged commit 9306a70 into badges:master Jul 27, 2026
7 checks passed
@garak
garak deleted the docker-php85 branch August 3, 2026 17:25
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.

psalm broken

2 participants