Skip to content

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

Merged
justincasher merged 1 commit into
LeanPool:mainfrom
justincasher:justin/lean-ci-paths-allowlist
May 9, 2026
Merged

ci: switch Lean CI trigger from paths-ignore to paths allowlist#8
justincasher merged 1 commit into
LeanPool:mainfrom
justincasher:justin/lean-ci-paths-allowlist

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

f763867
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.