Run external Nanoda checks in parallel - #88

Run external Nanoda checks in parallel#88

luckyseoul wants to merge 1 commit into

leanprover:masterleanprover/comparator:masterfrom

luckyseoul:codex/nanoda-parallel-workersluckyseoul/comparator:codex/nanoda-parallel-workersCopy head branch name to clipboard