Skip to content

Commit

Permalink
Manual Dependabot updates (#31)
Browse files Browse the repository at this point in the history
The Dependabot PRs (#1, #2) seem to fail in CI due to not having a Linear API key. We could probably look into fixing that somehow, but I'd like to just clear out these PRs for now.
  • Loading branch information
jacobdweightman authored and tzerrell committed Oct 15, 2024
1 parent 59db406 commit edf8a81
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion zirgen/circuit/fib/Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@ log = "0.4"
risc0-zkp = { workspace = true, features = ["default"] }

[dev-dependencies]
env_logger = "0.10"
env_logger = "0.11"

[build-dependencies]
cc = { version = "1.0", features = ["parallel"] }
Expand Down
2 changes: 1 addition & 1 deletion zirgen/dsl/Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,7 @@ pretty_assertions = "1.4"
rayon = "1.8"
risc0-core = { workspace = true }
risc0-zkp = { workspace = true, default-features = false, features = ["prove"] }
serial_test = "2.0"
serial_test = "3.1"
strum = { version = "0.26", features = ["derive"] }
strum_macros = "0.26"
test-log = { version = "0.2", features = ["trace"] }
Expand Down

0 comments on commit edf8a81

Please sign in to comment.