diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml index e764af9bd..38a3e4eca 100644 --- a/.github/workflows/check.yml +++ b/.github/workflows/check.yml @@ -15,7 +15,7 @@ jobs: run: | prName="${{ github.event.pull_request.title }}" university=`echo $prName | awk '{ sub(/.*\[/, ""); sub(/\].*/, ""); print }'` - universities=("SPBGU" "NUP" "CUB") + universities=("SPBGU" "NUP" "CUB" "HSE" "ITMO") if [[ ! $(echo ${universities[@]} | grep -F -w $university) ]]; then echo "FIASCO: Wrong university name or format in pull request title: $university "