Added build and install instructions

rems-project · Jul 10, 2023 · 21d0d1f · 21d0d1f
1 parent 343b50a
commit 21d0d1f
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -22,3 +22,5 @@ jobs:
       - run: opam pin --yes -n coq-struct-tact https://github.com/uwplse/StructTact.git
       - run: opam repo add --yes  --this-switch iris-dev https://gitlab.mpi-sws.org/iris/opam.git
       - run: opam pin --yes -n coq-sail https://github.com/rems-project/coq-sail.git
+      - run: opam install --yes ./coq-cheri-capabilities.opam
+      - run: dune build