Verify Gerrit changes using Chrome 80

Gerrit v3.2 is fully compatible with Chrome 80: make sure
that all PolyGerrit are fully working when tested against
that version.

Change-Id: I424c82dd373c6dbeb43ab20b7ad56e4e724579f0
diff --git a/Jenkinsfile b/Jenkinsfile
index cafd654..3801024 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -147,7 +147,7 @@
     if (hasChangeNumber()) {
        builds["Gerrit-codestyle"] = prepareBuildsForMode("Gerrit-codestyle")
        Builds.modes.each {
-          builds["Gerrit-verification(${it})"] = prepareBuildsForMode("Gerrit-verifier-bazel", it)
+          builds["Gerrit-verification(${it})"] = prepareBuildsForMode("Gerrit-verifier-chrome80", it)
        }
     } else {
        builds["java8"] = { -> build "Gerrit-bazel-${env.BRANCH_NAME}" }