Bump the expected Rust version to 1.82 #261
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: verus | |
| on: | |
| push: | |
| paths-ignore: | |
| - 'README.md' | |
| - 'CONTRIBUTING.md' | |
| workflow_dispatch: | |
| jobs: | |
| build: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v1 | |
| # Install Verus, so we can test proof actions | |
| - name: Install Verus' Toolchain Dependencies | |
| shell: bash | |
| run: | | |
| curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --profile minimal --default-toolchain none -y | |
| echo "${CARGO_HOME:-$HOME/.cargo}/bin" >> $GITHUB_PATH | |
| - name: Install Rust Toolchain | |
| run: | | |
| rustup update --no-self-update stable | |
| rustup install 1.79.0-x86_64-unknown-linux-gnu | |
| - name: Get the URL for the latest Verus release | |
| id: verus-release-info | |
| run: | | |
| jq --version | |
| echo "VERUS_URL=$(curl -s https://api.github.com/repos/verus-lang/verus/releases | jq -r '.[].assets[].browser_download_url' | grep x86-linux -)" >> $GITHUB_OUTPUT | |
| - name: Download the latest Verus release | |
| run: | | |
| curl --proto '=https' --tlsv1.2 -LsSf ${{ steps.verus-release-info.outputs.VERUS_URL }} -o verus.zip; unzip verus.zip | |
| # - name: Install latest rust toolchain | |
| # uses: actions-rs/toolchain@v1 | |
| # with: | |
| # toolchain: stable | |
| # default: true | |
| # override: true | |
| - name: Debug verus location | |
| env: | |
| VERUS_BINARY_PATH: /home/runner/work/verus-analyzer/verus-analyzer/verus-x86-linux/verus | |
| run: | | |
| echo working directory | |
| pwd | |
| echo contents of working directory | |
| ls -la | |
| echo contents of verus-86-linux | |
| ls -la verus-x86-linux | |
| echo contents of parent | |
| ls -la .. | |
| echo Verus binary env | |
| echo $VERUS_BINARY_PATH | |
| echo Verus binary info | |
| ls -la $VERUS_BINARY_PATH | |
| - name: Test Syntax | |
| run: cargo test --package syntax --lib | |
| - name: Test Proof Actions | |
| env: | |
| VERUS_BINARY_PATH: /home/runner/work/verus-analyzer/verus-analyzer/verus-x86-linux/verus | |
| run: cargo test --package ide-assists --lib -- handlers::proof_action | |
| - name: Build Proof-Action Version of the LSP-Server | |
| run: cargo xtask dist --proof-action |