Call verify target in CI.