Merge pull request from GHSA-xp96-pghg-87vx

This commit is contained in:
Jorge 2024-03-25 21:17:52 +01:00 committed by GitHub
parent c2eb7fd6c2
commit a41a8897b9
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -12,11 +12,13 @@ jobs:
uses: actions/checkout@v4 uses: actions/checkout@v4
- id: match-java - id: match-java
name: Match Java name: Match Java
env:
ISSUE_TITLE: ${{ github.event.issue.title }}
# if the title contains the word Java (case insensitive) # if the title contains the word Java (case insensitive)
# we make sure that this word is the end of the string or is followed by a space character (ex. we do not want to match javascript) # we make sure that this word is the end of the string or is followed by a space character (ex. we do not want to match javascript)
# we make sure that this word is the beginning of the string or is preceded by a space character (ex. we do not want to match foojava) # we make sure that this word is the beginning of the string or is preceded by a space character (ex. we do not want to match foojava)
run: | run: |
if [[ "${{ github.event.issue.title }}" =~ (^|[[:space:]])([jJ][aA][vV][aA])([[:space:]]|$) ]]; then if [[ "$ISSUE_TITLE" =~ (^|[[:space:]])([jJ][aA][vV][aA])([[:space:]]|$) ]]; then
echo "match=true" >> $GITHUB_OUTPUT echo "match=true" >> $GITHUB_OUTPUT
fi fi