From 21d0d1fae68282c1b2b64b9a8846f4456499f3ba Mon Sep 17 00:00:00 2001
From: Ricardo Almeida <3705908+ric-almeida@users.noreply.github.com>
Date: Mon, 10 Jul 2023 15:29:55 +0100
Subject: [PATCH] Added build and install instructions

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

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 62175a6..558f74e 100644
--- 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