diff options
| author | Jeff Epler <jepler@gmail.com> | 2021-01-28 13:01:11 -0600 |
|---|---|---|
| committer | Jeff Epler <jepler@gmail.com> | 2021-01-28 13:52:30 -0600 |
| commit | 65a883a74c0d423cd36ff392a9d02d7869470556 (patch) | |
| tree | b651216a76295f2b332d9c72d49a18ee39e1faa7 /.github | |
| parent | 0098909757c80e4e924b400b7b6f35319e0458a9 (diff) | |
bump esp-idf cache tag
.. we are seeing failures that we have previously diagnosed as a bad
cache. The github ui provides no way to update or delete a cache, so
this is our workaround.
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/build.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 0dbccdf4d..60244dae6 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -467,7 +467,7 @@ jobs: id: idf-cache with: path: ${{ github.workspace }}/.idf_tools - key: ${{ runner.os }}-idf-tools-${{ hashFiles('.git/modules/ports/esp32s2/esp-idf/HEAD') }}-20210122 + key: ${{ runner.os }}-idf-tools-${{ hashFiles('.git/modules/ports/esp32s2/esp-idf/HEAD') }}-20210128 - name: Clone IDF submodules run: | (cd $IDF_PATH && git submodule update --init) |