Execute data generation in the CI

[Zaharid]

While changes in buildmaster preventing it from running should ideally be tested before being merged, we would clearly benefit from having it done somewhere in the CI. That could be the existing test (which already sets up the developer environment) or else a separate github action.