Run `verify --tests` in CI?

[jamillambert]

This could be added to the end of the Integration tests CI job, which has to be run first to generate the output file for verify. It is a quick check so won't add much time to the CI run.