From 990c3f7d83146010e1e4b7835b874adc9c7b22f5 Mon Sep 17 00:00:00 2001
From: Sam Cowger <sam@galois.com>
Date: Thu, 29 Aug 2024 11:23:06 -0700
Subject: [PATCH] Revert "ci: cache/restore opam"

`ocaml/setup-ocaml` might do this for us?

This reverts commit 8749644f3aac80bb86c673854aa70b6d2bb765e9.
---
 .github/workflows/server-ci.yml | 17 -----------------
 1 file changed, 17 deletions(-)

diff --git a/.github/workflows/server-ci.yml b/.github/workflows/server-ci.yml
index 4c90c71..9547d0e 100644
--- a/.github/workflows/server-ci.yml
+++ b/.github/workflows/server-ci.yml
@@ -26,32 +26,15 @@ jobs:
       - name: Check out repository
         uses: actions/checkout@v4
 
-      - name: Restore cached ~/.opam
-        id: cache-opam-restore
-        uses: actions/cache/restore@v4
-        with:
-          path: ~/.opam
-          key: ${{ matrix.ocaml-version }}
-
       - name: Set up OCaml
-        if: steps.cache-opam-restore.outputs.cache-hit != 'true'
         uses: ocaml/setup-ocaml@v2
         with:
           ocaml-compiler: ${{ matrix.ocaml-version }}
 
       - name: Install server dependencies
-        if: steps.cache-opam-restore.outputs.cache-hit != 'true'
         working-directory: ./cn-lsp/server
         run: opam install . --deps-only --locked -y
 
-      - name: Cache ~/.opam
-        if: steps.cache-opam-restore.outputs.cache-hit != 'true'
-        id: cache-opam-save
-        uses: actions/cache/save@v4
-        with:
-          path: ~/.opam
-          key: ${{ steps.cache-opam-restore.outputs.cache-primary-key }}
-
       - name: Build server
         working-directory: ./cn-lsp/server
         run: |