Merge pull request #1146 from zama-ai/fix-cpu-release

fix(ci): setup HOME manually instead of changing user
zama-ai · Nov 15, 2024 · f931be5 · f931be5
2 parents 8d02187 + 3dc4f2f
commit f931be5
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/.github/workflows/concrete_python_release_cpu.yml b/.github/workflows/concrete_python_release_cpu.yml
@@ -298,6 +298,9 @@ jobs:
         python-version: ["3.8", "3.9", "3.10", "3.11", "3.12"]
     runs-on: ${{ needs.setup-instance.outputs.runner-name }}
     steps:
+      # HOME is needed by actions-rs/toolchain
+      - run: |
+          echo "HOME=/home/ubuntu" >> "${GITHUB_ENV}"
       - name: Install rust
         uses: actions-rs/toolchain@16499b5e05bf2e26879000db0c1d13f7e13fa3af # v1.0.7
         with:

diff --git a/ci/slab.toml b/ci/slab.toml
@@ -27,4 +27,3 @@ security_group= ["sg-02dd8470fa845f31b", ]
 region = "eu-west-1"
 image_id = "ami-002bdcd64b8472cf9"
 instance_type = "hpc7a.96xlarge"
-user = "ubuntu"