Skip to content

Use randomness more efficiently #1512

Use randomness more efficiently

Use randomness more efficiently #1512

Workflow file for this run

name: Rust
on:
push:
branches:
- master
pull_request:
branches:
- master
jobs:
rust:
name: Build, lint, test
strategy:
fail-fast: false
matrix:
os: [ubuntu-latest, windows-latest, macos-latest]
runs-on: ${{ matrix.os }}
steps:
- name: Checkout repository
uses: actions/checkout@v4
- name: Install stable toolchain
uses: dtolnay/rust-toolchain@stable
with:
components: rustfmt, clippy
- name: Install nextest
uses: taiki-e/install-action@nextest
- name: Run fmt
run: cargo fmt --all -- --check
- name: Build documentation
run: cargo doc --no-deps --workspace
env:
RUSTDOCFLAGS: -D warnings
- name: Run clippy
run: cargo clippy --all-targets -- -D warnings
- name: Test triton-isa
run: cargo nextest run -p triton-isa --no-fail-fast --all-targets
- name: Test triton-constraint-circuit
run: cargo nextest run -p triton-constraint-circuit --no-fail-fast --all-targets
- name: Test triton-air
run: cargo nextest run -p triton-air --no-fail-fast --all-targets
- name: Test triton-constraint-builder
# without --all-targets because the divan benchmark doesn't play ball with nextest
run: cargo nextest run -p triton-constraint-builder --no-fail-fast
- name: Test triton-vm
run: cargo nextest run -p triton-vm --no-fail-fast --all-targets
# doctests are special [^1] but this step does not incur a performance penalty [^2]
#
# [^1]: https://nexte.st/book/usage.html#limitations
# [^2]: https://github.com/nextest-rs/nextest/issues/16
- name: Run documentation tests
run: cargo test --doc