ci: Remove mention of inexistent build.rs (#1376)

creusot-rs · Feb 21, 2025 · 340537d · 340537d
2 parents 7b5e957 + 4e90c17
commit 340537d
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
@@ -113,15 +113,15 @@ jobs:
           ~/.cargo/registry
           ~/.cargo/git
           target
-        key: ${{ runner.os }}-cargo-creusot-${{ hashFiles('prelude/**', 'creusot-setup/build.rs', '**/Cargo.lock') }}
+        key: ${{ runner.os }}-cargo-creusot-${{ hashFiles('prelude/**', '**/Cargo.lock') }}
     - uses: actions/cache@v4
       id: cache-creusot-setup
       with:
         path: |
           ~/.config/creusot
           ~/.local/share/creusot
           _opam/lib/why3find/packages
-        key: ${{ runner.os }}-cargo-creusot-setup-${{ hashFiles('prelude/**', 'creusot-setup/build.rs', 'creusot-deps.opam', 'creusot-setup/src/tools_versions_urls.rs', 'creusot-setup/src/config.rs') }}
+        key: ${{ runner.os }}-cargo-creusot-setup-${{ hashFiles('prelude/**', 'creusot-deps.opam', 'creusot-setup/src/tools_versions_urls.rs', 'creusot-setup/src/config.rs') }}
     - name: download why3 and why3find
       uses: actions/download-artifact@v4
       with: