Release script & CI: name based on tag (WIP broken)

sullyj3 · Jul 25, 2024 · 95522d8 · 95522d8
1 parent 65aa67e
commit 95522d8
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 5 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -9,17 +9,19 @@ jobs:
  steps:
  - name: Checkout code
  uses: actions/checkout@v4
+ with:
+ fetch-tags: "true"
  - name: Run Lean Action
  uses: leanprover/lean-action@v1
  with:
  auto-config: "false"
  use-mathlib-cache: "false"
  build: "true"
  - name: Create package
+ id: create-package
  run: |
  ./create_release.sh
  - name: Upload artifact
  uses: actions/upload-artifact@v4.3.4
  with:
- name: sand
- path: release.tar.zst
+ path: release/sand-*-x86_64-linux.tar.zst
diff --git a/create_release.sh b/create_release.sh
@@ -5,9 +5,8 @@ if [ ! -f .lake/build/bin/sand ]; then
  exit 1
 fi
 
-# tag=$(git describe --tags --abbrev=0)
-# dir="sand-$tag"
-dir="sand"
+tag=$(git describe --tags --abbrev=0)
+dir="sand-$tag"
 
 set -x