Skip to content

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 new check
  • Renames the original check to be check-all and depend on check
  • Updates the CI script to run check-all

Merge request reports