Enable the verifier on the presubmits

Author: jwren

.github/workflows/presubmit.yaml

@@ -34,7 +34,7 @@ jobs:
     strategy:
       fail-fast: true
       matrix:
-        bot: [CHECK_BOT, DART_BOT, UNIT_TEST_BOT]
+        bot: [CHECK_BOT, DART_BOT, UNIT_TEST_BOT, VERIFY_BOT]
     steps:
       - name: checkout
         uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683

.github/workflows/presubmit.yaml.template

@@ -32,7 +32,7 @@ jobs:
     strategy:
       fail-fast: true
       matrix:
-        bot: [CHECK_BOT, DART_BOT, UNIT_TEST_BOT]
+        bot: [CHECK_BOT, DART_BOT, UNIT_TEST_BOT, VERIFY_BOT]
     steps:
       - name: checkout
         uses: actions/checkout@8f4b7f84864484a7bf31766abe9204da3cbe65b3

tool/github.sh

@@ -75,8 +75,21 @@ elif [ "UNIT_TEST_BOT" = "$BOT" ] ; then
   # Run unit tests.
   ./bin/plugin test --no-setup
 
-else
+elif [ "VERIFY_BOT" = "$BOT" ] ; then
+
+    # Before running gradlew verifyPlugin
+    echo "Checking permissions for /home/runner/"
+    ls -ld /home/runner/
+    echo "Creating .pluginVerifier/extracted-plugins directory if it doesn't exist..."
+    mkdir -p /home/runner/.pluginVerifier
+    touch /home/runner/.pluginVerifier/extracted-plugins
+    echo "Checking permissions for /home/runner/.pluginVerifier"
+    ls -ld /home/runner/.pluginVerifier
 
+    # Run the vefifier for this version
+    ./bin/plugin verify
+
+else
   # Run the build.
   ./bin/plugin make --channel=stable --only-version=$IDEA_VERSION --no-setup