codex: address PR review feedback (#26461)

2026-11-10 21:00:47 +00:00 · 2026-06-04 23:09:45 +00:00
parent d1855d9117
commit 3ffbe75e10
1 changed files with 2 additions and 2 deletions
@@ -83,13 +83,13 @@ runs:
        key: sccache-${{ inputs.cache-runner }}-${{ inputs.target }}-${{ inputs.profile }}-${{ inputs.lockfile-hash }}-${{ github.run_id }}

    - name: sccache stats
-      if: ${{ inputs.use-sccache == 'true' }}
+      if: ${{ !cancelled() && inputs.use-sccache == 'true' }}
      continue-on-error: true
      shell: bash
      run: sccache --show-stats || true

    - name: sccache summary
-      if: ${{ inputs.use-sccache == 'true' }}
+      if: ${{ !cancelled() && inputs.use-sccache == 'true' }}
      shell: bash
      run: |
        {