Build static release binary and upload as artifact

stanford-centaur · Sep 14, 2024 · 51e5030 · 51e5030
1 parent f719796
commit 51e5030
Showing 1 changed file with 8 additions and 2 deletions.
diff --git 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