Change in jenkins[master]: Fix typo in github.yaml