From d984107aca9f1c8ad943570ac1e7017cc1e8d256 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=C3=81ron=20Ricardo=20Perez-Lopez?= <arpl@cs.stanford.edu>
Date: Tue, 10 Sep 2024 16:59:56 -0700
Subject: [PATCH] Build static release binary and upload as artifact

---
 .github/workflows/ci.yml | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 1e24d786..31fa88ef 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -67,11 +67,11 @@ jobs:
 
       - name: Configure (macOS)
         if: runner.os == 'macOS'
-        run: ./configure.sh --debug --python
+        run: ./configure.sh --python
 
       - name: Configure (non-macOS)
         if: runner.os != 'macOS'
-        run: ./configure.sh --with-msat --debug --python
+        run: ./configure.sh --with-msat --python --static
 
       - name: Build
         run: |
@@ -88,3 +88,9 @@ jobs:
 
       - name: Test Python Bindings
         run: pytest ./tests
+
+      - name: Upload binary
+        uses: actions/upload-artifact@v4
+        with:
+          name: pono_${{ runner.arch }}
+          path: ./build/pono