feat: add rb_tree to ic_certification crate

.github/actions/setup-dfx/action.yml

@@ -13,7 +13,7 @@ runs:
     - name: Install dfx
       uses: dfinity/setup-dfx@main
       with:
-        dfx-version: '0.14.2'
+        dfx-version: '0.15.1'
 
     - name: Configure DFX
       shell: bash

.github/workflows/pull-request.yml

@@ -28,7 +28,7 @@ jobs:
         run: curl https://rustwasm.github.io/wasm-pack/installer/init.sh -sSf | sh
 
       - name: Build Cargo crates
-        run: cargo build --release
+        run: cargo build --release --workspace --exclude certified_counter_backend
 
       - name: DFX prepare Certified Counter
         working-directory: examples/certified-counter

Cargo.toml

@@ -1,6 +1,7 @@
 [workspace]
 members = [
     "examples/rust",
+    "examples/certified-counter/src/backend",
     "packages/ic-cbor",
     "packages/ic-certification",
     "packages/ic-certificate-verification",
@@ -14,7 +15,6 @@ members = [
 # https://github.com/rust-lang/cargo/issues/9406
 # these projects need wasm32-unknown-unknown as their target
 exclude = [
-    "examples/certified-counter/src/backend",
     "packages/ic-response-verification-wasm",
     "packages/ic-certification-testing-wasm",
 ]