ci: add offline c++ lifter syntax checking

.github/workflows/test.yml

@@ -58,3 +58,26 @@ jobs:
     - run: dune build offlineASL -j4
 
     - run: dune build @offline-coverage -j4
+
+  offline-cpp:
+    runs-on: ubuntu-latest
+
+    steps:
+    - uses: actions/checkout@v4
+
+    - uses: actions/setup-python@v5
+      with:
+        python-version: '3.11'
+
+    - run: python -m pip install 'meson~=1.4.0'
+
+    - uses: cachix/install-nix-action@v25
+    - run: echo 'preparing nix shell environment'
+
+    - run: dune build --profile release
+    - run: echo ':gen A64 .* cpp' | OCAMLRUNPARAM=b dune exec asli
+
+    - run: offlineASL-cpp/check.py
+
+    - name: 'syntax check generated C++ lifter'
+      run: meson compile -C offlineASL-cpp/build