-
Jean-Philippe Evrard authored
Without this patch, the PR jobs are broken and no jobs are running. This was a recently introduced typo in the last refactor of the PR jobs. This should fix it, and make the PR test working again.
bd0d901d
Without this patch, the PR jobs are broken and no jobs are running. This was a recently introduced typo in the last refactor of the PR jobs. This should fix it, and make the PR test working again.