jhc_flags: --stop typecheck --stale Main --no-cache
run: no
