Giorgio Mendieta e7e04b7c15 Skip CI build jobs on documentation-only changes (#1768) ...

* feat: don't build on PRs that only change documents

* fix: ignore docs/** on push

2026-05-27 23:39:30 -06:00

..

ISSUE_TEMPLATE

More Issue Form Cleanup (#1877)

2026-05-27 21:40:13 -06:00

workflows

Skip CI build jobs on documentation-only changes (#1768)

2026-05-27 23:39:30 -06:00