|
@@ -122,25 +122,12 @@ jobs:
|
|
|
exit 1
|
|
exit 1
|
|
|
fi
|
|
fi
|
|
|
|
|
|
|
|
- - name: Cache Repo Tool
|
|
|
|
|
- id: cache-repo
|
|
|
|
|
- uses: actions/cache@v4
|
|
|
|
|
- with:
|
|
|
|
|
- path: ${{ github.workspace }}/git-repo
|
|
|
|
|
- key: repo-tool-${{ github.run_id }}-${{ hashFiles('git-repo/repo') }}
|
|
|
|
|
- restore-keys: |
|
|
|
|
|
- repo-tool-${{ github.run_id }}-
|
|
|
|
|
-
|
|
|
|
|
- name: Install Repo
|
|
- name: Install Repo
|
|
|
run: |
|
|
run: |
|
|
|
mkdir -p ./git-repo
|
|
mkdir -p ./git-repo
|
|
|
- if [ ! -f ./git-repo/repo ]; then
|
|
|
|
|
- echo "Downloading repo tool..."
|
|
|
|
|
- curl https://storage.googleapis.com/git-repo-downloads/repo > ./git-repo/repo
|
|
|
|
|
- chmod a+rx ./git-repo/repo
|
|
|
|
|
- else
|
|
|
|
|
- echo "Using cached repo tool"
|
|
|
|
|
- fi
|
|
|
|
|
|
|
+ echo "Downloading repo tool..."
|
|
|
|
|
+ curl https://storage.googleapis.com/git-repo-downloads/repo > ./git-repo/repo
|
|
|
|
|
+ chmod a+rx ./git-repo/repo
|
|
|
echo "REPO=$GITHUB_WORKSPACE/./git-repo/repo" >> $GITHUB_ENV
|
|
echo "REPO=$GITHUB_WORKSPACE/./git-repo/repo" >> $GITHUB_ENV
|
|
|
|
|
|
|
|
- name: Clone AnyKernel3 and Other Dependencies
|
|
- name: Clone AnyKernel3 and Other Dependencies
|