Pin MySQL to 8.4 #231

PGijsbers merged 1 commit intomainopenml/server-api:mainfrom

docker-pin-mysql-versionopenml/server-api:docker-pin-mysql-versionCopy head branch name to clipboard