Skip to content

Conversation

@0xMimir
Copy link
Contributor

@0xMimir 0xMimir commented Oct 21, 2025

No description provided.

@github-actions
Copy link

github-actions bot commented Oct 21, 2025

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: ee0ca50f9fd3fd0e3d5565d680f752d5e857425f

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

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

github-actions bot commented Oct 21, 2025

✓ 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.

@dannywillems
Copy link
Member

@0xMimir can you add a CHANGELOG entry please?

@dannywillems
Copy link
Member

And can you also make more explicit the commit message? It is not a typo. The commit message should contain a 80 characters max long title + a body for the reasoning (even brief).

@dannywillems
Copy link
Member

The tests wallet-tests are flaky because it publishes transactions on dev-net, and sometimes it requires previous transactions to be validated before. Restarting the job should be fine.

@dannywillems
Copy link
Member

Force merge. The wallet tests will probably work on develop. If not, the fix would be to increase the fees of the payment, and it is not expected to be in this patch.

@dannywillems dannywillems merged commit 8ecef5a into develop Oct 22, 2025
68 of 70 checks passed
@dannywillems
Copy link
Member

dannywillems commented Oct 22, 2025

Even for this kind of small patch, it would be nice to have unit/integration tests. We need to increase our code coverage. I accepted and merged, but for future PRs, we would enforce having additional tests to test the behaviors.

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

Projects

Status: No status

Development

Successfully merging this pull request may close these issues.

3 participants