ci, gha: Ensure only a single workflow processes github.ref at a time#1403