Skip to content

Conversation

dannywillems
Copy link
Member

No description provided.

@dannywillems dannywillems marked this pull request as draft October 10, 2025 13:18
Copy link

OCaml Reference Validation Results

Repository: https://github.com/MinaProtocol/mina.git
Branch: compatible
Status: ✓ Validation passed

Click to see full validation output
Checking OCaml references against https://github.com/MinaProtocol/mina.git (branch: compatible)
Fetching current commit from compatible...
Current OCaml commit: 5da42ccd72e791f164d4d200cf1ce300262873b3
No OCaml references found in Rust code

Copy link

⚠️ Code Reference Verification Failed

The documentation contains code references that do not match the current state of the codebase on the develop branch.

Issues Found

  • website/docs/developers/zkapps.md:43 - File not found: ledger/src/scan_state/transaction_logic.rs
  • website/docs/developers/zkapps.md:68 - File not found: ledger/src/scan_state/transaction_logic.rs
  • website/docs/developers/zkapps.md:80 - File not found: ledger/src/scan_state/transaction_logic.rs
  • website/docs/developers/zkapps.md:160 - File not found: ledger/src/scan_state/transaction_logic.rs
  • website/docs/developers/zkapps.md:211 - File not found: ledger/src/scan_state/transaction_logic.rs
  • website/docs/developers/transactions.md:24 - Code reference to ledger/src/scan_state/transaction_logic/mod.rs#L996-L1001 differs from GitHub (develop branch). The referenced code may have been modified locally but not yet merged to develop.
  • website/docs/developers/transactions.md:35 - Code reference to ledger/src/scan_state/transaction_logic/mod.rs#L642-L646 differs from GitHub (develop branch). The referenced code may have been modified locally but not yet merged to develop.
  • website/docs/developers/transactions.md:46 - Code reference to ledger/src/scan_state/transaction_logic/signed_command.rs#L129-L144 differs from GitHub (develop branch). The referenced code may have been modified locally but not yet merged to develop.
  • website/docs/developers/transactions.md:54 - Code reference to ledger/src/scan_state/transaction_logic/signed_command.rs#L15-L30 differs from GitHub (develop branch). The referenced code may have been modified locally but not yet merged to develop.
  • website/docs/developers/transactions.md:62 - Code reference to ledger/src/scan_state/transaction_logic/signed_command.rs#L67-L76 differs from GitHub (develop branch). The referenced code may have been modified locally but not yet merged to develop.
  • website/docs/developers/transactions.md:72 - Code reference to ledger/src/scan_state/transaction_logic/signed_command.rs#L32-L39 differs from GitHub (develop branch). The referenced code may have been modified locally but not yet merged to develop.
  • website/docs/developers/transactions.md:82 - Code reference to ledger/src/scan_state/transaction_logic/signed_command.rs#L41-L51 differs from GitHub (develop branch). The referenced code may have been modified locally but not yet merged to develop.

Action Required

The code referenced in the documentation must be merged to develop before documentation can be added/modified.

Please follow this workflow:

  1. Merge the code changes to develop first (this PR or a separate code PR)
  2. Create a follow-up PR with the documentation updates that reference the merged code
  3. The verification will pass once the code is available on develop

See the documentation guidelines for more information about the two-PR workflow.

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

Labels

None yet

Projects

Status: No status

Development

Successfully merging this pull request may close these issues.

1 participant