Skip to content

turn off gha

turn off gha #11

Workflow file for this run

name: Release
on:
push:
branches: [ succinct ]
pull_request:
branches: [ succinct ]
workflow_call:
workflow_dispatch:
jobs:
build:
# strategy:
# fail-fast: false
# matrix:
# include:
# - os: macOS
# arch: ARM64
# triple: aarch64-apple-darwin
# - os: macOS
# arch: X64
# triple: x86_64-apple-darwin
# - os: Linux
# arch: X64
# triple: x86_64-unknown-linux-gnu
runs-on: [buildjet-32vcpu-ubuntu-2204]
steps:
- name: Set up git private repo access
run: |
git config --global url."https://${{ secrets.PRIVATE_PULL_TOKEN }}@github.com".insteadOf ssh://[email protected]
- name: Install Rust
uses: actions-rs/toolchain@v1
with:
toolchain: stable
- name: Check out succinctlabs/vm
uses: actions/checkout@v3
with:
repository: succinctlabs/vm
path: vm
ref: john/cargo-succinct-build-toolchain
token: ${{ secrets.PRIVATE_PULL_TOKEN }}
- name: Install cargo prove
run: cargo install --locked --path .
working-directory: vm/cli
- name: Build toolchain
run: GITHUB_ACTIONS=false GITHUB_ACCESS_TOKEN=${{ secrets.PRIVATE_PULL_TOKEN }} cargo prove build-toolchain
- name: Archive build output
uses: actions/upload-artifact@v3
with:
name: rust-toolchain-ubuntu
path: |
rust/build/x86_64-unknown-linux-gnu/stage2
!rust/build/x86_64-unknown-linux-gnu/stage2/lib/rustlib/src
!rust/build/x86_64-unknown-linux-gnu/stage2/lib/rustlib/rustc-src