ISO images built for pull requests carried the generic "integration" suffix, so they could not be told apart from push builds or matched to the PR they test. Pull request builds now use "GitHub-PR<number>" in place of "integration"; push and manual builds keep the old name.