Change docker image to use lampepfl one#1736

felixmulder merged 1 commit intoscala:masterscala/scala3:masterfrom

felixmulder:topic/docker-to-lampepflfelixmulder/dotty:topic/docker-to-lampepflCopy head branch name to clipboard