ci: rename some builds
Following discussion on Zulip, people seem to run make check
to
validate their changes to the repository. This means they're also
validating all the Python scripts at the same time, even if they just
want to check the data is correct.
We should optimise for the most common case and avoid people running the Python checks unless they mean to. CI should still obviously run them.
This change:
- Renames
check-data
to be the newcheck
- Renames the original
check
to becheck-all
and depend oncheck
- Updates the CI script to run
check-all