Commit Graph

1 Commits

Author SHA1 Message Date
Philip Chimento 7f4aa49ccd Test tools only if they were modified
Most of the time, we are not committing changes to the tools. Move the
unit tests for the lint and generation tools to a separate PR workflow,
that is only run if anything in the tools/ folder is modified in the PR.

This saves time in the normal case.
2024-11-11 16:48:38 -08:00