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/workflows/pre-commit.yml | |
| 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/workflows/pre-commit.yml')
0 files changed, 0 insertions, 0 deletions