FROM satcomp-infrastructure:leader

COPY --chown=ecs-user ./light /competition/light
COPY --chown=ecs-user ./init_leader.sh /competition/init_solver.sh
COPY --chown=ecs-user ./run_solver.sh /competition/run_solver.sh
COPY --chown=ecs-user ./files /competition/files