use llvm 17

UQ-PAC · Jul 24, 2024 · cfccb80 · cfccb80
1 parent d70b57b
commit cfccb80
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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