Searched full:github_branch (Results 1 – 7 of 7) sorted by relevance
3 GITHUB_BRANCH=${GITHUB_REF#refs/heads/}7 [ "$GITHUB_BRANCH" == "master" ]; then
22 ARG github_branch=main29 && wget https://github.com/$github_repo/archive/$github_branch.zip -O archive.zip \
19 ARG github_branch=main32 && wget https://github.com/$github_repo/archive/$github_branch.zip -O archive.zip \
24 ARG github_branch=main37 && wget https://github.com/$github_repo/archive/$github_branch.zip -O archive.zip \
17 …ker-image }} . --build-arg github_repo=$GITHUB_REPOSITORY --build-arg github_branch=$GITHUB_REF_NA…
102 # github_branch= "main"