From cfccb80668ae60ee47351bae0b2d91469d1fb1c3 Mon Sep 17 00:00:00 2001
From: rina <k@rina.fyi>
Date: Wed, 24 Jul 2024 14:54:14 +1000
Subject: [PATCH] use llvm 17

---
 .github/workflows/test.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index cf3778fa..21330599 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -77,7 +77,7 @@ jobs:
     - run: dune build --profile release
     - run: echo ':gen A64 .* cpp' | OCAMLRUNPARAM=b dune exec asli
 
-    - run: offlineASL-cpp/check.py
+    - run: LLVM_CONFIG=$(which llvm-config-17) offlineASL-cpp/check.py
 
     - name: 'syntax check generated C++ lifter'
       run: meson compile -C offlineASL-cpp/build