Merge branch 'main' into dev/fast-interp

google · Jan 31, 2025 · 8ff8d8e · 8ff8d8e
2 parents 551e9db + 7279013
commit 8ff8d8e
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -90,6 +90,7 @@ jobs:
         with:
           checks: "[\"${{ matrix.check }}\"]"
           token: ${{ secrets.GITHUB_TOKEN }}
+        timeout-minutes: 15
   ubuntu:
     runs-on: ubuntu-latest
     needs: matrix

diff --git a/crates/runner-nordic/Cargo.toml b/crates/runner-nordic/Cargo.toml
@@ -28,7 +28,7 @@ wasefire-board-api = { path = "../board" }
 wasefire-error = { path = "../error" }
 wasefire-interpreter = { path = "../interpreter", optional = true }
 wasefire-logger = { path = "../logger" }
-wasefire-one-of = { version = "0.1.1-git", path = "../one-of" }
+wasefire-one-of = { path = "../one-of" }
 wasefire-protocol-usb = { path = "../protocol-usb", features = ["device"] }
 wasefire-store = { path = "../store" }
 wasefire-sync = { path = "../sync" }