message: [CI] run tests with nextest
diff: @@ -17,6 +17,10 @@ jobs:
  runs-on: ubuntu-latest
  name: Run some basic checks and tests
  steps:
  + #
  + # Setup
  + #
  +
  - name: Checkout PR
  uses: actions/checkout@v2
  @@ -32,21 +36,22 @@ jobs:
  sudo apt update
  sudo apt install -y ocaml
  - # `cargo check` compiles the packages without performing the final step of code generation,
  - # which is faster than running `cargo build`.
  - # Use release build to speed up tests
  - - name: Run cargo check
  - run: cargo check --release
  + - name: Install latest nextest release
  + uses: taiki-e/install-action@nextest
  - # https://github.com/o1-labs/proof-systems/issues/398
  - - name: Compile tests
  - run: cargo test --release --no-run
  + #
  + # Tests
  + #
  - - name: Run cargo check with all features (including ocaml_types)
  - run: cargo check --release --all-features
  + - name: Test with latest nextest release (faster than cargo test)
  + uses: actions-rs/cargo@v1
  + with:
  + command: nextest
  + args: run --all-features --profile ci
  - - name: Run tests
  - run: cargo test --release --all-features
  + #
  + # Coding guidelines
  + #
  - name: Enforce formating
  run: cargo fmt -- --check
  @@ -55,6 +60,10 @@ jobs:
  - name: Enforce clean clippy output
  run: cargo clippy -- -D warnings
  + #
  + # Doc & Spec
  + #
  +
  - name: Set up cargo-spec for specifications
  run: |
  cargo install cargo-spec --version 0.4.1
  