Bug 916059: fix the PIN2 workflow, r=arthurcc
Merge pull request #13616 from fabi1cazenave/pin2-bug916059

Bug 916059: fix the PIN2 workflow, r=arthurcc