mirror/dolt
1
0
Fork 0
mirror of https://github.com/dolthub/dolt.git synced 2026-04-21 19:39:04 -05:00
Code Issues Packages Projects Releases 156 Wiki Activity

Merge pull request #4563 from dolthub/db/update-ci

Browse Source 
[no-release-notes] /.github/{scripts,workflows}: bump actions
This commit is contained in:
Dustin Brown
2022-10-24 11:02:39 -07:00
committed by GitHub
parent a14a4d1dae 87b002fccb
commit 7d81a09c00
22 changed files with 58 additions and 58 deletions
Download Patch File Download Diff File Expand all files Collapse all files
.github/scripts/performance-benchmarking/validate-commentor.sh
+2 -2
View File
@@ -7,10 +7,10 @@ if [[ $# -ne 1 ]]; then
exit 1
fi
validcommentors="coffeegoddd andrew-wm-arthur bheni Hydrocharged reltuk tbantle22 timsehn VinaiRachakonda zachmu max-hoffman"
validcommentors="coffeegoddd andrew-wm-arthur bheni Hydrocharged reltuk tbantle22 timsehn zachmu max-hoffman"
contains() {
[[ $1 =~ (^|[[:space:]])$2($|[[:space:]]) ]] && echo "::set-output name=valid::true" || exit 0
[[ $1 =~ (^|[[:space:]])$2($|[[:space:]]) ]] && echo "valid=true" >> $GITHUB_OUTPUT || exit 0
}
contains "$validcommentors" "$1"