Test CI against mina#18939 (scalars token interpreter) - #2910
Draft
martyall wants to merge 4 commits into
Draft
Conversation
Points src/mina at 43cd17b467a6d01a34e477bffc0bfe9c01affab0, the head of MinaProtocol/mina#18939, to run o1js CI against it. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_015cYLrWyUV2T8VWVsLnrWzi
martyall
force-pushed
the
martyall/test-scalars-token-interpreter
branch
from
August 20, 2026 17:08
e15a76d to
fade031
Compare
Points src/mina at 18f4bb180b (MinaProtocol/mina branch martyall/scalars-token-interpreter-on-o1js-3.0.0): the two feature commits from MinaProtocol/mina#18939 cherry-picked onto 228c409a1, the mina commit o1js main already pins. This makes the checked-in VK fixtures a meaningful baseline for the feature. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_015cYLrWyUV2T8VWVsLnrWzi
Points src/mina at 1ee8d2d3e1: the previous cherry-pick branch plus the js_of_ocaml implementation of fp/fq_linearization_tokens (kimchi-wasm and kimchi-napi exports + jsoo decoding glue), so proving works under o1js. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_015cYLrWyUV2T8VWVsLnrWzi
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_015cYLrWyUV2T8VWVsLnrWzi
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Purpose
Runs o1js CI against a custom mina commit:
43cd17b467a6d01a34e477bffc0bfe9c01affab0, the head of MinaProtocol/mina#18939 (mrmr1993:feature/scalars-token-interpreter).Not intended to merge as-is — this is a CI test run. The only change is the
src/minasubmodule pointer, so no changelog entry (the changelog check is expected to fail).🤖 Generated with Claude Code
https://claude.ai/code/session_015cYLrWyUV2T8VWVsLnrWzi