File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 11env :
2- TUTORIAL_REPO : ' devonfw- tutorials/tutorials '
2+ TUTORIAL_REPO : ' tutorials.wiki '
33 BUILD_USER : ${{ secrets.BUILD_USER }}
44 BUILD_USER_PASSWD : ${{ secrets.BUILD_USER_PASSWD }}
55 BUILD_USER_EMAIL : ${{ secrets.BUILD_USER_EMAIL }}
1818 echo "ORG=$(echo '${{ github.repository }}' | awk -F '/' '{print $1}')" >> $GITHUB_ENV
1919 echo "REPO_COMPILER_SOURCE=$(echo '${{ github.repository }}' | awk -F '/' '{print $2}')" >> $GITHUB_ENV
2020 echo "REPO_COMPILER_DEST=$(echo '${{ github.repository }}' | awk -F '/' '{print $2}').wiki" >> $GITHUB_ENV
21- echo "REPO_TUTORIAL_DEST=$(echo '${TUTORIAL_REPO}' | awk -F '/' '{print $2}').wiki " >> $GITHUB_ENV
21+ echo "REPO_TUTORIAL_DEST=$(echo '${TUTORIAL_REPO}'" >> $GITHUB_ENV
2222 shell : bash
2323 - name : Checkout ${REPO_COMPILER_SOURCE} Repository
2424 run : git clone https://github.com/${ORG}/${REPO_COMPILER_SOURCE}.git ${REPO_COMPILER_SOURCE}
You can’t perform that action at this time.
0 commit comments