Merge pull request #522 from gojimmypi/pr-arduino-testing

Remove interim Arduino workflow REPO_OWNER redirect
pull/525/head
David Garske 2025-09-09 12:13:03 -07:00 committed by GitHub
commit 23c51e2f4f
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 0 additions and 13 deletions

View File

@ -186,10 +186,6 @@ jobs:
run: |
# Clone the wolfssl to use for example build
# TODO remove after merge
REPO_OWNER=gojimmypi
# End TODO
git clone --depth 1 https://github.com/$REPO_OWNER/wolfssl.git
# Assign your PR branch for testing here:
@ -197,15 +193,6 @@ jobs:
echo "REPO_OWNER=$REPO_OWNER"
# TODO remove after merge
# A user-specific branch assignment
if [[ "$REPO_OWNER" == "gojimmypi" ]]; then
THIS_PR_BRANCH="pr-arduino-testing"
else
echo "unexpected repo owner!"
fi
# END TODO
# If a branch is assigned for current repo user, checkout
if [ -z "$THIS_PR_BRANCH" ]; then
echo "Assign your PR branch name for testing"