Skip to content

Conversation

@github-actions
Copy link

Automated OCaml Reference Update

This PR updates the OCaml reference comments in the Rust codebase to
reflect the latest commit from the OCaml repository.

Changes

  • Updated commit hashes to match latest OCaml compatible branch
  • Updated verification dates to today

Validation

All OCaml file references have been validated to ensure they still
exist at the specified paths.

Repository: https://github.com/MinaProtocol/mina.git
Branch: compatible

This PR was automatically generated by the check-ocaml-refs
workflow.

@github-actions github-actions bot added documentation Improvements or additions to documentation automation labels Oct 20, 2025
Automated update of OCaml reference commit hashes and verification
dates based on latest compatible branch.
@github-actions
Copy link
Author

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: 5b8c6f11f001934ef35e86d185ec09fdfe1dcb1b

Validating references...
========================
✓ VALID: ledger/src/account/account.rs -> src/lib/mina_base/account.ml L:201-224
  ⚠ STALE COMMIT: 9845659db2f494b3eed90d5eb70ea1f51f437e16 (current: 5b8c6f11f001934ef35e86d185ec09fdfe1dcb1b)
✓ VALID: ledger/src/scan_state/transaction_logic/for_tests.rs -> src/lib/transaction_logic/mina_transaction_logic.ml L:2285-2285
  ⚠ STALE COMMIT: 9845659db2f494b3eed90d5eb70ea1f51f437e16 (current: 5b8c6f11f001934ef35e86d185ec09fdfe1dcb1b)
✓ VALID: ledger/src/scan_state/transaction_logic/for_tests.rs -> src/lib/transaction_logic/mina_transaction_logic.ml L:2351-2356
  ⚠ STALE COMMIT: 9845659db2f494b3eed90d5eb70ea1f51f437e16 (current: 5b8c6f11f001934ef35e86d185ec09fdfe1dcb1b)
✓ VALID: ledger/src/scan_state/transaction_logic/for_tests.rs -> src/lib/transaction_logic/mina_transaction_logic.ml L:2407
  ⚠ STALE COMMIT: 9845659db2f494b3eed90d5eb70ea1f51f437e16 (current: 5b8c6f11f001934ef35e86d185ec09fdfe1dcb1b)
✓ VALID: ledger/src/scan_state/transaction_logic/mod.rs -> src/lib/mina_base/transaction_status.ml L:9-51
  ⚠ STALE COMMIT: 9845659db2f494b3eed90d5eb70ea1f51f437e16 (current: 5b8c6f11f001934ef35e86d185ec09fdfe1dcb1b)
✓ VALID: ledger/src/scan_state/transaction_logic/mod.rs -> src/lib/mina_base/transaction_status.ml L:452-454
  ⚠ STALE COMMIT: 9845659db2f494b3eed90d5eb70ea1f51f437e16 (current: 5b8c6f11f001934ef35e86d185ec09fdfe1dcb1b)
✓ VALID: ledger/src/scan_state/transaction_logic/mod.rs -> src/lib/mina_base/with_status.ml L:6-10
  ⚠ STALE COMMIT: 9845659db2f494b3eed90d5eb70ea1f51f437e16 (current: 5b8c6f11f001934ef35e86d185ec09fdfe1dcb1b)
✓ VALID: ledger/src/scan_state/transaction_logic/mod.rs -> src/lib/mina_base/fee_transfer.ml L:76-80
  ⚠ STALE COMMIT: 9845659db2f494b3eed90d5eb70ea1f51f437e16 (current: 5b8c6f11f001934ef35e86d185ec09fdfe1dcb1b)
✓ VALID: ledger/src/scan_state/transaction_logic/mod.rs -> src/lib/mina_base/fee_transfer.ml L:68-69
  ⚠ STALE COMMIT: 9845659db2f494b3eed90d5eb70ea1f51f437e16 (current: 5b8c6f11f001934ef35e86d185ec09fdfe1dcb1b)
✓ VALID: ledger/src/scan_state/transaction_logic/mod.rs -> src/lib/mina_base/coinbase.ml L:17-21
  ⚠ STALE COMMIT: 9845659db2f494b3eed90d5eb70ea1f51f437e16 (current: 5b8c6f11f001934ef35e86d185ec09fdfe1dcb1b)
✓ VALID: ledger/src/scan_state/transaction_logic/mod.rs -> src/lib/transaction/transaction.ml L:8-11
  ⚠ STALE COMMIT: 9845659db2f494b3eed90d5eb70ea1f51f437e16 (current: 5b8c6f11f001934ef35e86d185ec09fdfe1dcb1b)
✓ VALID: ledger/src/scan_state/transaction_logic/signed_command.rs -> src/lib/mina_base/signed_command_payload.ml L:34-48
  ⚠ STALE COMMIT: 9845659db2f494b3eed90d5eb70ea1f51f437e16 (current: 5b8c6f11f001934ef35e86d185ec09fdfe1dcb1b)
✓ VALID: ledger/src/scan_state/transaction_logic/signed_command.rs -> src/lib/mina_base/stake_delegation.ml L:11-13
  ⚠ STALE COMMIT: 9845659db2f494b3eed90d5eb70ea1f51f437e16 (current: 5b8c6f11f001934ef35e86d185ec09fdfe1dcb1b)
✓ VALID: ledger/src/scan_state/transaction_logic/signed_command.rs -> src/lib/mina_base/signed_command_payload.ml L:179-181
  ⚠ STALE COMMIT: 9845659db2f494b3eed90d5eb70ea1f51f437e16 (current: 5b8c6f11f001934ef35e86d185ec09fdfe1dcb1b)
✓ VALID: ledger/src/scan_state/transaction_logic/signed_command.rs -> src/lib/mina_base/signed_command_payload.ml L:239-243
  ⚠ STALE COMMIT: 9845659db2f494b3eed90d5eb70ea1f51f437e16 (current: 5b8c6f11f001934ef35e86d185ec09fdfe1dcb1b)
✓ VALID: ledger/src/scan_state/transaction_logic/signed_command.rs -> src/lib/mina_base/signed_command_payload.ml L:352-362
  ⚠ STALE COMMIT: 9845659db2f494b3eed90d5eb70ea1f51f437e16 (current: 5b8c6f11f001934ef35e86d185ec09fdfe1dcb1b)

Summary
=======
Total references found: 16
Valid references: 16
Invalid references: 0
Stale commits: 16

⚠ Warning: 16 reference(s) have stale commits
Run with --update to update them automatically

@github-actions
Copy link
Author

✓ Code Reference Verification Passed

All code references in the documentation have been verified successfully!

Total references checked: 1
Valid references: 1

The documentation is in sync with the codebase on the develop branch.

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

Labels

automation documentation Improvements or additions to documentation no changelog

Projects

Status: No status

Development

Successfully merging this pull request may close these issues.

2 participants