Merge "CI: Migrate tox verify from Jenkins to GHA"