Revert "[REVERT AFTER MERGE] jenkinsfile: Run PR (#10701)" (#10704)
Revert "[REVERT AFTER MERGE] jenkinsfile: Run PR (#10701)" (#10704)

This reverts commit cc033d4d7757f72b4f2a774adb260716551a18bd.
keybase/client,keybase/client,keybase/client,keybase/client,keybase/client,keybase/client,keybase/client,keybase/client,keybase/client,keybase/client,keybase/client,keybase/client