about summary refs log tree commit diff
diff options
context:
space:
mode:
authorLaurențiu Nicola <lnicola@dend.ro>2024-04-03 18:25:34 +0300
committerLaurențiu Nicola <lnicola@dend.ro>2024-04-03 18:25:34 +0300
commit692c41e5937d821a30045990c11573ddb66bbccd (patch)
treedf88943c2ca6c074bbfaaba2e15cf27889d06931
parent8e581ac348e223488622f4d3003cb2bd412bf27e (diff)
downloadrust-692c41e5937d821a30045990c11573ddb66bbccd.tar.gz
rust-692c41e5937d821a30045990c11573ddb66bbccd.zip
Use jemalloc for releases
-rw-r--r--.github/workflows/release.yaml4
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/workflows/release.yaml b/.github/workflows/release.yaml
index 11014338d72..3ad7a37ec1f 100644
--- a/.github/workflows/release.yaml
+++ b/.github/workflows/release.yaml
@@ -95,7 +95,7 @@ jobs:
         run: sudo apt-get install gcc-arm-linux-gnueabihf
 
       - name: Dist
-        run: cargo xtask dist --client-patch-version ${{ github.run_number }}
+        run: cargo xtask dist --jemalloc --client-patch-version ${{ github.run_number }}
 
       - run: npm ci
         working-directory: editors/code
@@ -159,7 +159,7 @@ jobs:
           fetch-depth: ${{ env.FETCH_DEPTH }}
 
       - name: Dist
-        run: cargo xtask dist --client-patch-version ${{ github.run_number }}
+        run: cargo xtask dist --jemalloc --client-patch-version ${{ github.run_number }}
 
       - run: npm ci
         working-directory: editors/code