[Repo Assist] eng: remove dead .paket CI cache step

[github-actions]

🤖 This PR was created by Repo Assist, an automated AI assistant.

Summary

The dotnetcore.yml CI workflow contained a cache step for the .paket directory:

- name: Cache .paket directory
  uses: actions/cache@v5
  with:
    path: .paket
    key: $\{\{ runner.os }}-paket-$\{\{ hashFiles('**/paket.lock') }}
    restore-keys: |
      $\{\{ runner.os }}-paket-

This directory does not exist in the repository. Paket is installed as a dotnet local tool via .config/dotnet-tools.json, so its binaries live under ~/.nuget/packages/paket/10.3.1/... — already covered by the existing Cache NuGet packages step.

Effect

On every CI run, the cache action:

1. Attempts to restore a cache hit for a path that doesn't exist (no-op).
2. Computes a cache key for an empty/non-existent directory (wasted work).
3. On cache miss, tries to save an empty snapshot (waste of storage).

Change

Remove the dead cache step. The dotnet tool restore step that follows is unaffected — paket will continue to be resolved from the NuGet packages cache as before.

Test Status

CI configuration change only — no code changes. The existing build pipeline remains identical; this simply removes an ineffective step that adds log noise and cache overhead on every run.

---

Warning

Protected Files — Push Permission Denied

This was originally intended as a pull request, but the patch modifies protected files. A human must create the pull request manually.

Protected files

• .github/workflows/dotnetcore.yml

The push was rejected because GitHub Actions does not have workflows permission to push these changes, and is never allowed to make such changes, or other authorization being used does not have this permission.

Create the pull request manually

# Download the patch from the workflow run
gh run download 25055192070 -n agent -D /tmp/agent-25055192070

# Create a new branch
git checkout -b repo-assist/eng-remove-dead-paket-cache-20260428-5861b1cc0b9eee98 master

# Apply the patch (--3way handles cross-repo patches)
git am --3way /tmp/agent-25055192070/aw-repo-assist-eng-remove-dead-paket-cache-20260428.patch

# Push the branch and create the pull request
git push origin repo-assist/eng-remove-dead-paket-cache-20260428-5861b1cc0b9eee98
gh pr create --title '[Repo Assist] eng: remove dead .paket CI cache step' --base master --head repo-assist/eng-remove-dead-paket-cache-20260428-5861b1cc0b9eee98 --repo fsprojects/SwaggerProvider

Generated by 🌈 Repo Assist, see workflow run. Learn more.

To install this agentic workflow, run

gh aw add githubnext/agentics/workflows/repo-assist.md@3de4e604a36b5190a1c7dc4719c7341500ba8a95