tweak CI artefact upload

sullyj3 · Jul 24, 2024 · ce609c1 · ce609c1
1 parent f21a915
commit ce609c1
Showing 1 changed file with 7 additions and 7 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -12,13 +12,13 @@ jobs:
  uses: actions/checkout@v4
  - name: Run Lean Action
  uses: leanprover/lean-action@v1
- - name: Create archive
+ - name: Create package
  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
+ mkdir package
+ cp .lake/build/bin/sand .lake/build/bin/sandd package/
+ cp -r systemd package/
+ - name: Upload artefact
  uses: actions/[email protected]
  with:
- name: binaries-archive
- path: binaries.tar.gz
+ name: sand
+ path: package/