Upload a ZIP with project files at its root and select a toolchain. Rocq supports Makefile, dune-project or _CoqProject; Lean supports Lake or Makefile. External dependencies must already be available. Displayed judging time and memory are not build measurements.