fix: avoid overflow when counting scalars (PROOF-906) #112
Workflow file for this run
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: Test-Check-Lint | |
| on: | |
| workflow_call: | |
| pull_request: | |
| types: | |
| - opened | |
| - synchronize | |
| concurrency: | |
| group: ${{ github.workflow }}-${{ github.ref }} | |
| cancel-in-progress: true | |
| jobs: | |
| format-code: | |
| name: Check Code | |
| runs-on: nvidia-nc4as-t4 | |
| env: | |
| CARGO_HOME: ${{ github.workspace }}/.cargo | |
| PATH: ${{ github.workspace }}/.cargo/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin | |
| steps: | |
| - name: Checkout Code Format | |
| uses: actions/checkout@v3 | |
| - name: Install stable toolchain | |
| run: curl https://sh.rustup.rs -sSf | bash -s -- -y --profile minimal | |
| - name: Install Dependencies | |
| run: rustup component add rustfmt | |
| - name: Run Code Format | |
| run: cargo fmt --all -- --config imports_granularity=Crate,group_imports=One --check | |
| clippy-code: | |
| name: Clippy Code | |
| runs-on: nvidia-nc4as-t4 | |
| env: | |
| CARGO_HOME: ${{ github.workspace }}/.cargo | |
| PATH: ${{ github.workspace }}/.cargo/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin | |
| steps: | |
| - name: Checkout Code | |
| uses: actions/checkout@v3 | |
| - name: Install stable toolchain | |
| run: | | |
| curl https://sh.rustup.rs -sSf | bash -s -- -y --profile minimal | |
| rustup component add clippy | |
| - name: Run Clippy | |
| run: cargo clippy --all-targets --all-features -- -D warnings | |
| test-cpu: | |
| name: Test the CPU backend | |
| runs-on: nvidia-nc4as-t4 | |
| env: | |
| CARGO_HOME: ${{ github.workspace }}/.cargo | |
| PATH: ${{ github.workspace }}/.cargo/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin | |
| steps: | |
| - name: Checkout Code | |
| uses: actions/checkout@v3 | |
| - name: Install stable toolchain | |
| run: curl https://sh.rustup.rs -sSf | bash -s -- -y --profile minimal | |
| - name: Run CPU test | |
| run: cargo test --features cpu | |
| test-gpu: | |
| name: Test the GPU backend | |
| runs-on: nvidia-nc4as-t4 | |
| env: | |
| CARGO_HOME: ${{ github.workspace }}/.cargo | |
| PATH: ${{ github.workspace }}/.cargo/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin | |
| steps: | |
| - name: Checkout sources | |
| uses: actions/checkout@v3 | |
| - name: Install stable toolchain | |
| run: curl https://sh.rustup.rs -sSf | bash -s -- -y --profile minimal | |
| - name: Install Dependencies | |
| run: | | |
| export DEBIAN_FRONTEND=non-interactive | |
| sudo apt-get update | |
| sudo apt-get install -y software-properties-common | |
| sudo add-apt-repository ppa:graphics-drivers/ppa | |
| sudo apt-get update | |
| sudo apt-get install -y nvidia-open-560 | |
| - name: Run GPU test | |
| run: cargo test --features gpu |