From 6931fd44c070a3979e680ab30bf02f7568140d0b Mon Sep 17 00:00:00 2001
From: Bruno Produit <bruno.produit@trailofbits.com>
Date: Tue, 17 Mar 2026 16:29:42 +0100
Subject: [PATCH] add smoketests to nix builds

---
 .github/workflows/build.yml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index f4e9cc2d..e8a93c38 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -116,6 +116,12 @@ jobs:
       - name: Build remill (LLVM ${{ matrix.llvm }})
         run: nix build .#remill-llvm${{ matrix.llvm }}
 
+      - name: Smoketests with installed executable
+        run: |
+          ./result/bin/remill-lift-${{ matrix.llvm }} --arch amd64 --ir_out /dev/stdout --bytes c704ba01000000
+          ./result/bin/remill-lift-${{ matrix.llvm }} --arch aarch64 --ir_out /dev/stdout --address 0x400544 --bytes FD7BBFA90000009000601891FD030091B7FFFF97E0031F2AFD7BC1A8C0035FD6
+          ./result/bin/remill-lift-${{ matrix.llvm }} --arch aarch32 -ir_out /dev/stderr --bytes 0cd04de208008de504108de500208de508309de504009de500109de5903122e0c20fa0e110109fe5001091e5002081e5040081e50cd08de21eff2fe14000000000000000
+
   macos:
     # Skip building pull requests from the same repository
     if: ${{ github.event_name == 'push' || (github.event_name == 'pull_request' && github.event.pull_request.head.repo.full_name != github.repository) }}