Skip to content

Bugfix unshard job names

The regular expression only works for one-digit sharding numeration. Fixing this regular expression will recognize the sharding of jobs above this limit.

There is this uprev proposal an example of how v3d-rpi4-gl:armhf 8/12 and v3d-rpi4-gl:armhf 10/12 have been interpreted as different jobs when they represent the same. Also, when v3d-rpi4-gl:armhf 8/12 has been found in the YAML file, v3d-rpi4-gl:armhf 10/12 wasn't.

The regular expression pattern was r"(.*) [1-9]/[1-9]$" that only recognizes one-digit numbers and excludes the 0 from the set. So the fix of the regular expression must include, after a space character, any combination of numbers with a / in the middle (r"(.*) [0-9]*/[0-9]*$").

Merge request reports