Fix docker build#329

Merged

pehrsoderman merged 3 commits into

Kattis:developfrom

gkreitz:fix_docker_build

May 28, 2025

Commits on May 28, 2025

Add -d flag to update_docker to allow easier testing locally
gkreitz
committed
Fix broken git clone command (`${TAG}` expanded to empty string)
gkreitz
committed
Fix silly error in docker file, causing apt-get update not to run
gkreitz
committed