diff options
author | Tomas Mraz <tomas@openssl.org> | 2021-05-11 18:15:32 +0200 |
---|---|---|
committer | Tomas Mraz <tomas@openssl.org> | 2021-05-13 10:24:33 +0200 |
commit | 220927071e91667e58297d24d64e22fa06439a98 (patch) | |
tree | a4f3cbfeac741c3a60097de299089e21051bea6c /.github | |
parent | dea76175581ee827205bc70daa72c1de7872faf6 (diff) |
Set the severity: fips change label if fips checksum changed
Reviewed-by: Paul Dale <pauli@openssl.org>
(Merged from https://github.com/openssl/openssl/pull/15229)
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/checksums.yml | 25 |
1 files changed, 13 insertions, 12 deletions
diff --git a/.github/workflows/checksums.yml b/.github/workflows/checksums.yml index d22e38a5e9..ccbae1e553 100644 --- a/.github/workflows/checksums.yml +++ b/.github/workflows/checksums.yml @@ -41,16 +41,17 @@ jobs: run: make update-fips-checksums working-directory: ./build-pristine - name: make diff-fips-checksums - run: make diff-fips-checksums + run: make diff-fips-checksums || echo "fips_changed=1" >> $GITHUB_ENV working-directory: ./build - -# - uses: actions/github-script@v4 -# with: -# github-token: ${{secrets.GITHUB_TOKEN}} -# script: | -# github.issues.addLabels({ -# issue_number: context.issue.number, -# owner: context.repo.owner, -# repo: context.repo.repo, -# labels: ['Triage'] -# }) + - name: set label + if: ${{ env.fips_changed }} + uses: actions/github-script@v4 + with: + github-token: ${{secrets.GITHUB_TOKEN}} + script: | + github.issues.addLabels({ + issue_number: context.issue.number, + owner: context.repo.owner, + repo: context.repo.repo, + labels: ['severity: fips change'] + }) |