File tree Expand file tree Collapse file tree 1 file changed +8
-7
lines changed
Expand file tree Collapse file tree 1 file changed +8
-7
lines changed Original file line number Diff line number Diff line change 2222 # designate the Coverity idir as something to cache, for more details see:
2323 # https://docs.github.com/en/actions/using-workflows/caching-dependencies-to-speed-up-workflows
2424 - name : Restore Coverity iDir
25- uses : actions/cache/restore@v4
25+ # uses: actions/cache/restore@v4
26+ uses : actions/cache@v4
2627 id : cache-coverity-idir
2728 with :
2829 path : .bridge/**/idir
4243 # coverity_local: true
4344 github_token : ${{ secrets.GITHUB_TOKEN }}
4445 include_diagnostics : false
45- - name : Save Coverity iDir
46- if : always()
47- uses : actions/cache/save@v4
48- with :
49- path : .bridge/**/idir
50- key : $coverity-idir-${{ runner.os }}-${{ runner.arch }}-${{ github.sha }}
46+ # - name: Save Coverity iDir
47+ # if: always()
48+ # uses: actions/cache/save@v4
49+ # with:
50+ # path: .bridge/**/idir
51+ # key: $coverity-idir-${{ runner.os }}-${{ runner.arch }}-${{ github.sha }}
You can’t perform that action at this time.
0 commit comments