From 33a892c482ec222318d64b9a2a65a0f9deeca81e Mon Sep 17 00:00:00 2001 From: Robert Norton 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. Also update version of upoad-artifact action to non-deprecated version. --- .github/workflows/compile.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/compile.yml b/.github/workflows/compile.yml index a046195..34d19f9 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 bb50f71dced35cd199554f0360a93b934e6443a1 && opam install -y . - name: Check out repository code uses: actions/checkout@HEAD with: @@ -30,7 +30,7 @@ jobs: eval $(opam env) && make -C archdoc cp archdoc/cheriot-architecture.pdf install - name: Upload simulator artifact - uses: actions/upload-artifact@v3 + uses: actions/upload-artifact@v4 with: name: cheriot_sim path: install/