A female just set a new record at high jumping in Barecelona.