diff options
| author | Tomas Mraz <tomas@openssl.org> | 2021-05-12 09:04:59 +0200 |
|---|---|---|
| committer | Tomas Mraz <tomas@openssl.org> | 2021-05-13 10:24:33 +0200 |
| commit | 16e00da2c9a59e2e3ea774e546bdbe75b238595f (patch) | |
| tree | 9c8af464d745a96e676dc34bca56faf4d7bed168 /.github/workflows | |
| parent | 220927071e91667e58297d24d64e22fa06439a98 (diff) | |
Remove the severity: fips change label if fips checksum unchanged
Reviewed-by: Paul Dale <pauli@openssl.org>
(Merged from https://github.com/openssl/openssl/pull/15229)
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/checksums.yml | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/.github/workflows/checksums.yml b/.github/workflows/checksums.yml index ccbae1e553..9caf49c9fb 100644 --- a/.github/workflows/checksums.yml +++ b/.github/workflows/checksums.yml @@ -41,7 +41,7 @@ jobs: run: make update-fips-checksums working-directory: ./build-pristine - name: make diff-fips-checksums - run: make diff-fips-checksums || echo "fips_changed=1" >> $GITHUB_ENV + run: make diff-fips-checksums && echo "fips_unchanged=1" >> $GITHUB_ENV || echo "fips_changed=1" >> $GITHUB_ENV working-directory: ./build - name: set label if: ${{ env.fips_changed }} @@ -55,3 +55,15 @@ jobs: repo: context.repo.repo, labels: ['severity: fips change'] }) + - name: remove label + if: ${{ env.fips_unchanged }} + uses: actions/github-script@v4 + with: + github-token: ${{secrets.GITHUB_TOKEN}} + script: | + github.issues.removeLabel({ + issue_number: context.issue.number, + owner: context.repo.owner, + repo: context.repo.repo, + name: 'severity: fips change' + }) |