Skip to content

submissions: pin the OpShin factorial_naive_recursion source to the commit its README links - #269

Merged
Unisay merged 1 commit into
mainfrom
yura/opshin-factorial-pin
Oct 29, 2026
Merged

Unisay merged 1 commit into
mainfrom
yura/opshin-factorial-pin

Conversation

@Unisay

@Unisay Unisay commented Oct 29, 2026

Copy link
Copy Markdown
Collaborator

The metadata.json of factorial_naive_recursion/OpShin_0.26.1_nielstron pinned ac4f5fde, while its README links the source at e9d93453. This PR pins e9d93453 in both places. e9d93453 is the child of ac4f5fde and changes only the fibonacci contract, so the factorial source is the same at both commits and nothing needs rebuilding.

…ommit its README links

metadata.json pinned ac4f5fde while the README links e9d93453. e9d93453 is the child of ac4f5fde and only changes the fibonacci contract, so the factorial source is the same at both commits.
@github-actions

Copy link
Copy Markdown
Contributor

🚀 PR Preview Deployed

Preview URL: https://intersectmbo.github.io/UPLC-CAPE/pr-269/

The preview site is automatically updated on every push to this PR and will be removed when the PR is closed.

@Unisay
Unisay marked this pull request as ready for review October 29, 2026 10:31
@Unisay
Unisay merged commit c418429 into main Oct 29, 2026
6 checks passed
@Unisay
Unisay deleted the yura/opshin-factorial-pin branch October 29, 2026 10:31
github-actions Bot added a commit that referenced this pull request Oct 29, 2026
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.

1 participant