Skip to content

Add mojo format to lint pipeline; parallelize update_challenges.py uploads#239

Merged
kunal-mansukhani merged 1 commit intomainfrom
mojo-format-and-parallel-updates
Apr 5, 2026
Merged

Add mojo format to lint pipeline; parallelize update_challenges.py uploads#239
kunal-mansukhani merged 1 commit intomainfrom
mojo-format-and-parallel-updates

Commits

Commits on Apr 5, 2026