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]*$"
).