ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-22 05:00:59 +03:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #28456 from ProvableHQ/fix/release-ci-linux-musl

Browse Source 
[Fix] Attempt to override GNU default toolchain
This commit is contained in:
d0cd 2024-11-19 17:13:56 -08:00 committed by GitHub
commit 055e426642
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
.github/workflows/release.yml vendored
View File

@ -68,16 +68,16 @@ jobs:
- name: Build
run: |
docker pull clux/muslrust:stable
docker pull clux/muslrust:x86_64
docker run \
-v ${{ github.workspace }}:/volume \
-v cargo-cache:/root/.cargo/registry \
--rm \
-t clux/muslrust:stable \
-t clux/muslrust:x86_64 \
bash -c "
rustup install stable &&
rustup default stable &&
rustup target add x86_64-unknown-linux-musl &&
rustup override set x86_64-unknown-linux-musl &&
rustup toolchain list &&
cargo build --target x86_64-unknown-linux-musl --package leo-lang --release --features noconfig
"