FIPS label CI: Save PR number and use it
authorTomas Mraz <tomas@openssl.org>
Wed, 19 May 2021 07:50:17 +0000 (09:50 +0200)
committerTomas Mraz <tomas@openssl.org>
Fri, 21 May 2021 07:43:04 +0000 (09:43 +0200)
commit9ad400f788fd4f1e36f0814c1952e2c4cbc3b970
tree84b4cce1596908c077e6dce78b00116f37904a18
parentcc9f9b98997ce3aca276dc6dbbe6d98efab4e65d
FIPS label CI: Save PR number and use it

Reviewed-by: Paul Dale <pauli@openssl.org>
(Merged from https://github.com/openssl/openssl/pull/15345)
.github/workflows/fips-checksums.yml
.github/workflows/fips-label.yml