ci.yml

name: CI2

on:
  push:
    tags:
    - '*'

jobs:
  build-linux-x86:
    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://git@github.com

      - name: Install Rust
        uses: risc0/actions-rs-toolchain@v1
        with:
            toolchain: stable

      - name: Install ninja and cmake
        uses: lukka/get-cmake@v3.27.4

      - 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: Check out succinctlabs/rust
        uses: actions/checkout@v3
        with:
          submodules: 'recursive'
          path: rust
          fetch-depth: 0

      - 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 }} SUCCINCT_BUILD_DIR=$GITHUB_WORKSPACE cargo prove build-toolchain

      - name: Archive build output
        uses: actions/upload-artifact@v3
        with:
          name: rust-toolchain-x86_64-unknown-linux-gnu
          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

  release:
    needs: [build-linux-x86]
    runs-on: ubuntu-latest
    permissions:
      contents: write
    steps:
    - name: Download artifacts
      uses: actions/download-artifact@v3
      with:
        path: artifacts
    - name: Compress artifacts
      shell: bash
      run: |
        ls -lha ./artifacts
        mkdir assets
        for DIR in $(ls ./artifacts); do
          tar czf "assets/$DIR.tar.gz" -C "artifacts/$DIR" .
        done
        ls -lha ./assets
    - name: Create release
      env:
        GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
      run: |
        echo "Installing gh CLI..."
        curl -L https://github.com/cli/cli/releases/download/v2.17.0/gh_2.17.0_linux_amd64.tar.gz | tar xvz  --strip-components=2 --exclude=man
        chmod +x ./gh

        ./gh release create --repo "$GITHUB_REPOSITORY" "$GITHUB_REF_NAME"  ./assets/*