Skip to content

fix(ci): pin pocket-ic 15.0.0 in toolchain - #23

Closed
alexandru-uta wants to merge 1 commit into
mainfrom
fix/pocket-ic-toolchain
Closed

alexandru-uta wants to merge 1 commit into
mainfrom
fix/pocket-ic-toolchain

Conversation

@alexandru-uta

Copy link
Copy Markdown
Contributor

mops 3 runs replica-mode tests only on PocketIC and fails when pocket-ic is not pinned in [toolchain]. Pins 15.0.0, the version mops recommends. All 44 tests pass locally with mops 3.4.2.

🤖 Generated with Claude Code

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@alexandru-uta

Copy link
Copy Markdown
Contributor Author

Moved onto #21.

@alexandru-uta
alexandru-uta deleted the fix/pocket-ic-toolchain branch October 7, 2026 15:41
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