mirror of
https://github.com/harvard-edge/cs249r_book.git
synced 2026-05-08 02:28:25 -05:00
fb4be4814f
The path filter included `book/**` plus the two workflow YAMLs, then `!tinytorch/**` as an exclude. The exclude was always a no-op: tinytorch/ lives at the repo root (/tinytorch/), not under /book/, so the `book/**` glob never matched anything in tinytorch in the first place. GitHub's `paths`-with-`!` syntax is also strict about ordering — an exclude only matters if a prior include would have matched, which isn't the case here. Removing the dead line tightens the filter to its actual semantics (any change under book/ or to validate-dev.yml/preview-dev.yml triggers the workflow) and prevents future-confusion about whether tinytorch edits are gated by this workflow (they are, but via tinytorch-validate-dev, not this one).