feat(proptest): Implement proptest::Arbitrary for UnsignedInteger
#1539
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: CI | |
| on: | |
| merge_group: | |
| push: | |
| branches: [main] | |
| pull_request: | |
| branches: ["*"] | |
| concurrency: | |
| group: ${{ github.head_ref || github.run_id }} | |
| cancel-in-progress: true | |
| jobs: | |
| compile: | |
| name: Compile | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout sources | |
| uses: actions/checkout@v3 | |
| - name: Rustup toolchain install | |
| uses: dtolnay/rust-toolchain@stable | |
| with: | |
| toolchain: stable | |
| targets: wasm32-unknown-unknown | |
| - name: Run cargo check | |
| run: cargo check | |
| - name: Run cargo check for math with no-std | |
| run: cargo check --package lambdaworks-math --no-default-features | |
| - name: Run cargo check for math with wasm target | |
| run: cargo check --package lambdaworks-math --no-default-features --target wasm32-unknown-unknown | |
| - name: Run cargo check for crypto with wasm target | |
| run: cargo check --package lambdaworks-crypto --no-default-features --target wasm32-unknown-unknown | |
| - name: Run cargo build ensure-no_std crate | |
| run: | | |
| cd ensure-no_std | |
| cargo build | |
| - name: Run cargo build ensure-no_std crate for wasm | |
| run: | | |
| cd ensure-no_std | |
| cargo build --target wasm32-unknown-unknown | |
| - name: Check benchmarks | |
| run: cargo bench --no-run | |
| lint: | |
| name: Lint | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout sources | |
| uses: actions/checkout@v3 | |
| - name: Install stable toolchain | |
| uses: dtolnay/rust-toolchain@stable | |
| with: | |
| toolchain: stable | |
| components: rustfmt, clippy | |
| - name: Run cargo fmt | |
| run: cargo fmt --all -- --check | |
| - name: Run clippy | |
| run: make clippy | |
| - name: Run clippy math no std | |
| run: cargo clippy --package lambdaworks-math --no-default-features -- -D warnings | |
| test: | |
| name: Test (Ubuntu) | |
| runs-on: ubuntu-latest | |
| env: | |
| CARGO_TERM_COLOR: always | |
| steps: | |
| - uses: actions/checkout@v3 | |
| - uses: dtolnay/rust-toolchain@stable | |
| with: | |
| toolchain: stable | |
| components: clippy | |
| - name: Run tests with no std | |
| run: cargo test --package lambdaworks-math --no-default-features | |
| - name: Install cargo-llvm-cov | |
| uses: taiki-e/install-action@cargo-llvm-cov | |
| - name: Run tests and generate code coverage | |
| run: cargo llvm-cov --lcov --output-path lcov.info | |
| - name: Upload coverage to Codecov | |
| uses: codecov/codecov-action@v3 | |
| with: | |
| token: ${{ secrets.CODECOV_TOKEN }} | |
| files: lcov.info | |
| fail_ci_if_error: true | |
| test_macos: | |
| name: Test (macOS, Apple sillicon) | |
| runs-on: [self-hosted, macOS] | |
| env: | |
| CARGO_TERM_COLOR: always | |
| steps: | |
| - uses: actions/checkout@v3 | |
| - name: Rustup toolchain install | |
| uses: dtolnay/rust-toolchain@stable | |
| with: | |
| toolchain: stable | |
| components: clippy | |
| - name: Run clippy | |
| run: make clippy-metal | |
| - name: Run tests | |
| run: make test-metal | |
| test_nvidia: | |
| name: Test (Ubuntu, NVIDIA GPU) | |
| runs-on: [self-hosted, cuda] | |
| env: | |
| CARGO_TERM_COLOR: always | |
| steps: | |
| - uses: actions/checkout@v3 | |
| - name: Rustup toolchain install | |
| uses: dtolnay/rust-toolchain@stable | |
| with: | |
| toolchain: stable | |
| components: clippy | |
| - name: Add CUDA binaries to PATH | |
| run: | | |
| echo /usr/local/cuda/bin >> $GITHUB_PATH | |
| - name: Run clippy | |
| run: make clippy-cuda | |
| - name: Run tests | |
| run: cargo test -F cuda |