FIPS label CI: Save PR number and use it