diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index d89fbb8..8d8b5c2 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -4,46 +4,74 @@ on:
     branches:
       - main
   pull_request:
-    types: [opened, repoened, synchronize]
+    types: [opened, reopened, synchronize]
 
 jobs:
-  build:
-    name: Build ${{matrix.toolchain}} on ${{matrix.os}} with ${{matrix.args}}
+  rustfmt:
+    name: rustfmt ${{matrix.toolchain}} on ${{matrix.os}}
     runs-on: ${{matrix.os}}-latest
     strategy:
       fail-fast: false
       matrix:
-        toolchain: [stable, nightly]
+        toolchain: [nightly]
         os: [ubuntu]
-        target: [wasm32-unknown-unknown]
-        args: [--no-default-features --target wasm32-unknown-unknown]
     steps:
-      - uses: actions/checkout@main
+      - uses: actions/checkout@v4
+      - name: Install minimal Rust with rustfmt
+        uses: actions-rs/toolchain@v1
+        with:
+          profile: minimal
+          toolchain: ${{matrix.toolchain}}
+          components: rustfmt
+          override: true
+      - name: fmt
+        uses: actions-rs/cargo@v1
+        with:
+          command: fmt
+          args: --all -- --check
+
+  clippy:
+    name: clippy ${{matrix.toolchain}} on ${{matrix.os}}
+    runs-on: ${{matrix.os}}-latest
+    strategy:
+      fail-fast: false
+      matrix:
+        toolchain: [nightly]
+        os: [ubuntu]
+    steps:
+      - uses: actions/checkout@v4
         with:
           submodules: recursive
-      - name: Install rust
+      - name: Install minimal Rust with clippy
         uses: actions-rs/toolchain@v1
         with:
+          profile: minimal
           toolchain: ${{matrix.toolchain}}
+          components: clippy
           override: true
-      - run: rustup target add ${{matrix.target}}
-      - name: Test
+      - name: Clippy
         uses: actions-rs/cargo@v1
         with:
-          command: build
-          args: ${{matrix.args}}
+          command: clippy
+          args: --all-targets -- -D clippy::all -D warnings
+      - name: Clippy all features
+        uses: actions-rs/cargo@v1
+        with:
+          command: clippy
+          args: --all-targets --all-features -- -D clippy::all -D warnings
 
   test:
-    name: Test ${{matrix.toolchain}} on ${{matrix.os}} with ${{matrix.features}}
+    name: test ${{matrix.toolchain}} on ${{matrix.os}} with ${{matrix.args}}
     runs-on: ${{matrix.os}}-latest
     strategy:
       fail-fast: false
       matrix:
         toolchain: [stable, nightly]
         os: [ubuntu]
-        features: ["--features default,std,serde", --no-default-features]
+        features: ["--features default,serde", --no-default-features]
+    timeout-minutes: 30
     steps:
-      - uses: actions/checkout@main
+      - uses: actions/checkout@v4
         with:
           submodules: recursive
       - name: Install rust
@@ -57,45 +85,25 @@ jobs:
           command: test
           args: ${{matrix.features}}
 
-  clippy:
-    name: Clippy with ${{matrix.features}}
+  no-std:
+    name: build ${{matrix.toolchain}} no-std for wasm32-unknown-unknown 
     runs-on: ubuntu-latest
     strategy:
       fail-fast: false
       matrix:
-        features: ["--features default,std,serde", --no-default-features]
+        toolchain: [stable, nightly]
     steps:
-      - uses: actions/checkout@main
+      - uses: actions/checkout@v4
         with:
           submodules: recursive
-      - name: Install minimal nightly with clippy
-        uses: actions-rs/toolchain@v1
-        with:
-          profile: minimal
-          toolchain: nightly
-          components: clippy
-          override: true
-      - name: Clippy
-        uses: actions-rs/cargo@v1
-        with:
-          command: clippy
-          args: --all ${{matrix.features}} -- -D clippy::all -D warnings
-
-  rustfmt:
-    name: rustfmt
-    runs-on: ubuntu-latest
-    steps:
-      - uses: actions/checkout@main
-      - name: Install minimal stable with rustfmt
+      - name: Install rust
         uses: actions-rs/toolchain@v1
         with:
-          profile: minimal
-          toolchain: stable
-          components: rustfmt
+          toolchain: ${{matrix.toolchain}}
           override: true
-
-      - name: rustfmt
+      - run: rustup target add wasm32-unknown-unknown
+      - name: Build
         uses: actions-rs/cargo@v1
         with:
-          command: fmt
-          args: --all -- --check
+          command: build
+          args: --no-default-features --target wasm32-unknown-unknown
\ No newline at end of file
diff --git a/Cargo.toml b/Cargo.toml
index daccafc..a8a0fd0 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -50,7 +50,7 @@ winter_utils = { version = "0.7", package = "winter-utils", default-features = f
 
 [dev-dependencies]
 criterion = { version = "0.5", features = ["html_reports"] }
-proptest = "1.3"
+proptest = "1.4"
 rand_utils = { version = "0.7", package = "winter-rand-utils" }
 
 [build-dependencies]
diff --git a/src/merkle/mmr/tests.rs b/src/merkle/mmr/tests.rs
index de96bba..f8d3398 100644
--- a/src/merkle/mmr/tests.rs
+++ b/src/merkle/mmr/tests.rs
@@ -114,13 +114,14 @@ const LEAVES: [RpoDigest; 7] = [
 
 #[test]
 fn test_mmr_simple() {
-    let mut postorder = Vec::new();
-    postorder.push(LEAVES[0]);
-    postorder.push(LEAVES[1]);
-    postorder.push(merge(LEAVES[0], LEAVES[1]));
-    postorder.push(LEAVES[2]);
-    postorder.push(LEAVES[3]);
-    postorder.push(merge(LEAVES[2], LEAVES[3]));
+    let mut postorder = vec![
+        LEAVES[0],
+        LEAVES[1],
+        merge(LEAVES[0], LEAVES[1]),
+        LEAVES[2],
+        LEAVES[3],
+        merge(LEAVES[2], LEAVES[3]),
+    ];
     postorder.push(merge(postorder[2], postorder[5]));
     postorder.push(LEAVES[4]);
     postorder.push(LEAVES[5]);