From c8e30e848729065ffb65429090653eaf55788aee Mon Sep 17 00:00:00 2001
From: Kayvan Memarian <kayvan.memarian@cl.cam.ac.uk>
Date: Sat, 1 Jul 2023 04:02:02 +0100
Subject: [PATCH] adding CI tests to the github action and delaying the caching
 of opam until after the install of dependencies (of cerberus-lib)

---
 .github/workflows/ci.yml | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 10d5029b4..0d633a247 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -4,7 +4,7 @@ on:
   push:
     branches:
       - master
-  pull_request: {}
+  # pull_request: {}
 
 jobs:
   build:
@@ -32,6 +32,7 @@ jobs:
       if: steps.cache-opam-restore.outputs.cache-hit != 'true'
       run: |
         opam init --yes --no-setup --shell=sh --compiler=${{ matrix.version }}
+        opam install --deps-only ./cerberus-lib.opam
     
     - name: Save cached opam
       if: steps.cache-opam-restore.outputs.cache-hit != 'true'
@@ -46,10 +47,9 @@ jobs:
         eval $(opam env)
         opam pin --yes --no-action add cerberus-lib .
         opam pin --yes --no-action add cerberus .
-        opam install --yes cerberus-lib
-        opam install --yes cerberus 
+        opam install --yes cerberus
 
-    # - name: Test Cerberus
-    #   run: |
-    #     eval $(opam env)
-    #     cd tests; ./run-ci.sh
\ No newline at end of file
+    - name: Run Cerberus CI tests
+      run: |
+        eval $(opam env)
+        cd tests; USE_OPAM='' ./run-ci.sh
\ No newline at end of file