Fix a bug with jenkins skipping