From 95522d81071b51f9328d925929b4a3642b5405a4 Mon Sep 17 00:00:00 2001 From: James Sully Date: Thu, 25 Jul 2024 22:39:49 +1000 Subject: [PATCH] Release script & CI: name based on tag (WIP broken) --- .github/workflows/ci.yml | 6 ++++-- create_release.sh | 5 ++--- 2 files changed, 6 insertions(+), 5 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 3fcb56e..19a7800 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -9,6 +9,8 @@ jobs: steps: - name: Checkout code uses: actions/checkout@v4 + with: + fetch-tags: "true" - name: Run Lean Action uses: leanprover/lean-action@v1 with: @@ -16,10 +18,10 @@ jobs: 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 index 74f116a..b7c41d7 100755 --- 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