Modified the default target of CI

from Publish to Verify.