Skip to content

Commit 6035894

Browse files
committed
Enable the verifier on the presubmits
This is follow up on #8034
1 parent 3768608 commit 6035894

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

Diff for: tool/github.sh

+2
Original file line numberDiff line numberDiff line change
@@ -86,6 +86,8 @@ elif [ "UNIT_TEST_BOT" = "$BOT" ] ; then
8686
./bin/plugin test --no-setup
8787

8888
else
89+
# Run the vefifier for this version
90+
./bin/plugin verify --only-version=$IDEA_VERSION
8991

9092
# Run the build.
9193
./bin/plugin make --channel=stable --only-version=$IDEA_VERSION --no-setup

0 commit comments

Comments
 (0)