[ci] quick test to check if Jenkins picks up this PR