ci: skip catalog shards for docs-only main pushes - #627

ci: skip catalog shards for docs-only main pushes#627

kim-em merged 1 commit into

mainleanprover/lean-eval:mainfrom

fix/skip-docs-only-main-catalogleanprover/lean-eval:fix/skip-docs-only-main-catalogCopy head branch name to clipboard