Skip to content

Conversation

@nickygerritsen
Copy link
Member

No description provided.

@nickygerritsen nickygerritsen requested a review from vmcj November 28, 2025 12:08
@nickygerritsen nickygerritsen force-pushed the symfony-7.4 branch 2 times, most recently from 9ebfa38 to 8479fcd Compare November 28, 2025 12:14
@nickygerritsen nickygerritsen changed the title Minimum changes required for Symfony 7.4 upgrade Symfony 7.4 upgrade Nov 28, 2025
@Kevinjil Kevinjil marked this pull request as draft November 28, 2025 12:39
@nickygerritsen nickygerritsen force-pushed the symfony-7.4 branch 3 times, most recently from 9ec2280 to 3cbf43e Compare November 28, 2025 15:12
@nickygerritsen nickygerritsen marked this pull request as ready for review November 28, 2025 15:34
PHPVERSION=$(php -r 'echo PHP_MAJOR_VERSION.".".PHP_MINOR_VERSION."\n";')
export PHPVERSION
echo "$PHPVERSION" | tee -a "$ARTIFACTS"/phpversion.txt
sudo apt-get -y remove "php$PHPVERSION-redis"
Copy link
Member

Choose a reason for hiding this comment

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

Probably purge it in this case?

vmcj added a commit to vmcj/domjudge-packaging that referenced this pull request Nov 30, 2025
vmcj added a commit to vmcj/domjudge-packaging that referenced this pull request Nov 30, 2025
vmcj added a commit to vmcj/domjudge-packaging that referenced this pull request Nov 30, 2025
github-merge-queue bot pushed a commit to DOMjudge/domjudge-packaging that referenced this pull request Nov 30, 2025
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