mirror of
https://github.com/openssl/openssl.git
synced 2024-11-21 01:15:20 +08:00
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)
This commit is contained in:
parent
dea7617558
commit
220927071e
25
.github/workflows/checksums.yml
vendored
25
.github/workflows/checksums.yml
vendored
@ -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']
|
||||
})
|
||||
|
Loading…
Reference in New Issue
Block a user