Merge pull request #736 from FStarLang/ci-no-shared-cache

CI: do not share OPAM switch cache between fstar1 and fstar2

Author: mtzguido

.github/workflows/ci.yml

@@ -42,7 +42,6 @@ jobs:
           key: opam-${{ runner.os }}-${{ runner.arch }}-fstar1-${{ github.run_id }}
           restore-keys: |
             opam-${{ runner.os }}-${{ runner.arch }}-fstar1-
-            opam-${{ runner.os }}-${{ runner.arch }}-
 
       # Build F*, from the fstar1 branch.
       - run: opam update
@@ -254,17 +253,14 @@ jobs:
         with:
            ocaml-compiler: 5.3.0
 
-      # Note, we prefer to restore the -master cache, but if it doesn't exist,
-      # we restore the latest normal one.
+      # Note, this cache is separate from the -fstar1 one.
       - name: Restore OPAM state
         uses: actions/cache/restore@v4
         with:
-          fail-on-cache-miss: true
           path: _opam
           key: opam-${{ runner.os }}-${{ runner.arch }}-master-${{ github.run_id }}
           restore-keys: |
             opam-${{ runner.os }}-${{ runner.arch }}-master-
-            opam-${{ runner.os }}-${{ runner.arch }}-
 
       # Build F*, master branch
       - run: opam update