ci: switch Lean CI trigger from paths-ignore to paths allowlist - #8

ci: switch Lean CI trigger from paths-ignore to paths allowlist#8

justincasher merged 1 commit into

LeanPool:mainLeanPool/lean-pool:mainfrom

justincasher:justin/lean-ci-paths-allowlistjustincasher/lean-pool:justin/lean-ci-paths-allowlistCopy head branch name to clipboard