From 43cb2d7ddbbbeaf63a894a6a0ab6864de74200a0 Mon Sep 17 00:00:00 2001
From: Robert Norton <robert.norton@microsoft.com>
Date: Fri, 26 Apr 2024 15:46:06 +0100
Subject: [PATCH] Use dev version of sail from github for CI.

The github version of sail has some fixes we need for latex output.
Let's pin CI to this commit until a new sail is released.
---
 .github/workflows/compile.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/compile.yml b/.github/workflows/compile.yml
index a046195..ba2fc94 100644
--- a/.github/workflows/compile.yml
+++ b/.github/workflows/compile.yml
@@ -13,7 +13,7 @@ jobs:
     - name: Init opam
       run: opam init -y
     - name: Install sail
-      run: opam pin -y sail 0.17.1
+      run: git clone -n https://github.com/rems-project/sail.git && cd sail && git checkout 6be215fc13678b4c9c6b0a1d097121da9099c1cb && opam install -y .
     - name: Check out repository code
       uses: actions/checkout@HEAD
       with: