Stop wasting gh resources

[StanFromIreland]

Do we want to?

We currently build and lint every hour, we can just do it on an actual pull.

[m-aciek]

Builds are combination of the original docs and translations, so linting/build use newer original base, therefore has a potential to detect integration issues.

[StanFromIreland]

Builds are combination of the original docs and translations, so linting/build use newer original base, therefore has a potential to detect integration issues.

Good point, though we still go a bit overboard with the testing. Nothing to do, closing