PIKA-lab / Courses / Distributed Systems / Distributed Systems A.Y. 2021-2022 / Lab 1 -- Build Automation