feat(code): BlockSync MVP

.github/workflows/coverage.yml

@@ -9,15 +9,22 @@ on:
       - specs/quint/**
       - .github/workflows/coverage.yml
 
+env:
+  CARGO_TERM_COLOR: always
+  CARGO_INCREMENTAL: 0
+  CARGO_PROFILE_DEV_DEBUG: 1
+  CARGO_PROFILE_RELEASE_DEBUG: 1
+  RUST_BACKTRACE: short
+  CARGO_NET_RETRY: 10
+  RUSTUP_MAX_RETRIES: 10
+
 jobs:
   integration:
     name: Integration
     runs-on: ubuntu-latest
     defaults:
       run:
         working-directory: code
-    env:
-      CARGO_TERM_COLOR: always
     steps:
       - name: Checkout
         uses: actions/checkout@v4
@@ -36,17 +43,16 @@ jobs:
         with:
           toolchain: nightly
           components: llvm-tools-preview
-      - name: Install cargo-nextest
-        uses: taiki-e/install-action@cargo-nextest
       - name: Install cargo-llvm-cov
         uses: taiki-e/install-action@cargo-llvm-cov
       - name: Generate code coverage
         run: |
-          cargo llvm-cov nextest \
+          cargo llvm-cov test \
             --workspace \
             --exclude malachite-test-mbt \
             --ignore-filename-regex crates/cli \
             --all-features \
+            --jobs 1 \
             --ignore-run-fail \
             --lcov \
             --output-path lcov.info

.github/workflows/rust.yml

@@ -15,6 +15,7 @@ on:
 
 env:
   CARGO_INCREMENTAL: 0
+  CARGO_TERM_COLOR: always
   CARGO_PROFILE_DEV_DEBUG: 1
   CARGO_PROFILE_RELEASE_DEBUG: 1
   RUST_BACKTRACE: short
@@ -23,7 +24,7 @@ env:
 
 jobs:
   test:
-    name: Test
+    name: Unit Tests
     runs-on: ubuntu-latest
     defaults:
       run:
@@ -47,10 +48,38 @@ jobs:
           cache-workspaces: "code"
       - name: Install cargo-nextest
         uses: taiki-e/install-action@cargo-nextest
-      - name: Build code
-        run: cargo nextest run --workspace --all-features --no-run
       - name: Run tests
-        run: cargo nextest run --workspace --all-features --no-fail-fast --failure-output final
+        run: cargo nextest run --workspace --all-features --no-fail-fast --failure-output final --test-threads 1 --exclude malachite-starknet-test --exclude malachite-discovery-test
+
+  integration:
+    name: Integration Tests
+    runs-on: ubuntu-latest
+    defaults:
+      run:
+        working-directory: code
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v4
+      - name: Install Protoc
+        uses: arduino/setup-protoc@v3
+        with:
+          repo-token: ${{ secrets.GITHUB_TOKEN }}
+      - name: Setup Node
+        uses: actions/setup-node@v3
+        with:
+          node-version: "18"
+      - name: Install Quint
+        run: npm install -g @informalsystems/quint
+      - name: Setup Rust toolchain
+        uses: actions-rust-lang/setup-rust-toolchain@v1
+        with:
+          cache-workspaces: "code"
+      - name: Install cargo-nextest
+        uses: taiki-e/install-action@cargo-nextest
+      - name: Run Starknet tests
+        run: cargo nextest run --all-features --no-fail-fast --failure-output final --test-threads 1 -p malachite-starknet-test
+      - name: Run Discovery tests
+        run: cargo nextest run --all-features --no-fail-fast --failure-output final --test-threads 1 -p malachite-discovery-test
 
   clippy:
     name: Clippy

README.md

@@ -6,7 +6,7 @@
 [![Code coverage][coverage-image]][coverage-link]
 [![Apache 2.0 Licensed][license-image]][license-link]
 ![Rust Stable][rustc-image]
-![Rust 1.74+][rustc-version]
+![Rust 1.82+][rustc-version]
 [![Quint 0.18][quint-version]][quint-repo]
 
 Tendermint consensus in Rust
@@ -21,7 +21,7 @@ The repository is split in three areas, each covering one of the important areas
 
 ## Requirements
 
-- Rust v1.74+ ([rustup.rs](https://rustup.rs))
+- Rust v1.82+ ([rustup.rs](https://rustup.rs))
 - Quint v0.18+ ([github.com](https://github.com/informalsystems/quint))
 
 ## License
@@ -46,6 +46,6 @@ Unless required by applicable law or agreed to in writing, software distributed
 [license-image]: https://img.shields.io/badge/license-Apache_2.0-blue.svg
 [license-link]: https://github.com/informalsystems/hermes/blob/master/LICENSE
 [rustc-image]: https://img.shields.io/badge/Rust-stable-orange.svg
-[rustc-version]: https://img.shields.io/badge/Rust-1.74+-orange.svg
+[rustc-version]: https://img.shields.io/badge/Rust-1.82+-orange.svg
 [quint-version]: https://img.shields.io/badge/Quint-0.18-purple.svg
 [quint-repo]: https://github.com/informalsystems/quint