Skip to content

Allow selecting the Leo add verification network - #29612

Open
1sgtpepper wants to merge 1 commit into
ProvableHQ:masterfrom
1sgtpepper:fix/add-network-override
Open

1sgtpepper wants to merge 1 commit into
ProvableHQ:masterfrom
1sgtpepper:fix/add-network-override

Conversation

@1sgtpepper

@1sgtpepper 1sgtpepper commented Jul 30, 2026

Copy link
Copy Markdown
Contributor

Motivation

Fixes #29591.

leo add previously used --network as a valueless source selector, so the verification network could only be selected through NETWORK. This change separates the source selector from the verification-network override.

--onchain replaces the old valueless --network; --network <NETWORK> now selects the verification network.

Test Plan

  • cargo +nightly fmt --all -- --check — passed.
  • cargo clippy --workspace --all-targets --locked --features only_testnet -- -D warnings — passed.
  • cargo nextest run --all --locked --cargo-profile ci --features only_testnet --verbose — passed on Linux, macOS, and Windows in CI.
  • Parser, help-text, cache-selection, and CLI integration expectations cover the new --onchain / --network <NETWORK> behavior.
  • Updated documentation/cli/add.md and documentation/guides/dependencies.md; the selected network remains fetch/cache-only and is not stored in program.json.

Related PRs

None.

@1sgtpepper
1sgtpepper force-pushed the fix/add-network-override branch from 7c427ec to 59d111e Compare July 30, 2026 15:47
@1sgtpepper
1sgtpepper marked this pull request as ready for review July 30, 2026 16:23
@1sgtpepper
1sgtpepper force-pushed the fix/add-network-override branch from 8b98b34 to 3440816 Compare August 10, 2026 14:10

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

leo add: --network is a source flag, but the verification network is env-only

1 participant