verus.yml

name: verus

on: [pull_request, workflow_dispatch]

jobs:
  verus:
    runs-on: ubuntu-latest
    steps:
      - name: checkout
        uses: actions/checkout@v4

      - name: Install Rust toolchain
        run: |
          rustup install 1.82.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: run Verus
        working-directory: ./tasks
        run: |
          # Run `verus` on each file, collecting failures if any
          ANYFAILED=""
          for i in *.rs; do
            echo -n "[verus] $i: "
            if ../verus-x86-linux/verus "$i" >/dev/null 2>/dev/null; then
              echo "success"
            else 
              echo "failed"
              # Re-run `verus` on any failure just to display the actual output
              ../verus-x86-linux/verus "$i" || true
              ANYFAILED="$ANYFAILED $i"
            fi
          done
          if [ -n "$ANYFAILED" ]; then
            echo "Failed:$ANYFAILED"
            exit 1
          fi