diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index 82f01f3f09f..f55234fa6f9 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -16,6 +16,8 @@ jobs: triple: x86_64-apple-darwin - os: ubuntu-latest triple: x86_64-unknown-linux-gnu + - os: ubuntu-latest + triple: aarch64-unknown-linux-gnu runs-on: ${{ matrix.os }} steps: - name: Install nightly toolchain @@ -48,7 +50,7 @@ jobs: - name: Generate tag name id: tag run: | - echo "::set-output name=release_tag::nightly-${GITHUB_SHA}" + echo "::set-output name=release_tag::stable-${GITHUB_SHA}" - name: Release uses: softprops/action-gh-release@v1 diff --git a/config.toml b/config.toml index 4f36f169c8a..51b8eb73a24 100644 --- a/config.toml +++ b/config.toml @@ -5,8 +5,11 @@ target = ["riscv32im-jolt-zkvm-elf"] extended = true tools = ["cargo", "cargo-clippy", "clippy", "rustfmt"] configure-args = [] +# TODO(sagar): enable compiler-builtins +optimized-compiler-builtins = false [rust] +channel = "stable" lld = true llvm-tools = true