Skip to content

Conversation

@vmcj
Copy link
Member

@vmcj vmcj commented Dec 8, 2025

Alternative for: #3279

IRC we needed the development branch for PHPCS support for PHP8.4, it might be they backported this already as PHP8.5 is now out so we need to check if they fixed this in a stable build.

@vmcj vmcj force-pushed the trigger_ci_phpcs branch 4 times, most recently from a651a05 to defff4e Compare December 20, 2025 23:59
IRC we needed the development branch for PHPCS support for PHP8.4, PHP8.4 support is still not backported (even now PHP8.5 is out).

We switch to another image as we now install the tool ourselves in our image. We used the default container as it would make maintenance easier
but now we needed to patch the composer.json a couple of times so doing this ourselves from the start is easier.
@vmcj vmcj changed the title Trigger CI with no modifications Replace PHPCompatability image with our own to fix CI Dec 21, 2025
@vmcj vmcj changed the title Replace PHPCompatability image with our own to fix CI Replace PHPCompatibility image with our own to fix CI Dec 21, 2025
Copy link
Contributor

@Kevinjil Kevinjil left a comment

Choose a reason for hiding this comment

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

🥳

@vmcj vmcj added this pull request to the merge queue Dec 21, 2025
Merged via the queue into DOMjudge:main with commit 71f90f2 Dec 21, 2025
40 checks passed
@vmcj vmcj deleted the trigger_ci_phpcs branch December 21, 2025 11:44
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