add binary upload to CI

sullyj3 · Jul 24, 2024 · f21a915 · f21a915
1 parent 7362213
commit f21a915
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -12,3 +12,13 @@ jobs:
  uses: actions/checkout@v4
  - name: Run Lean Action
  uses: leanprover/lean-action@v1
+ - name: Create archive
+ run: |
+ mkdir artefacts
+ cp .lake/build/bin/sand .lake/build/bin/sandd artefacts/
+ tar --create --gzip --file binaries.tar.gz -C artefacts .
+ - name: Upload binaries
+ uses: actions/[email protected]
+ with:
+ name: binaries-archive
+ path: binaries.tar.gz