Skip to content

Conversation

@ljedrz
Copy link
Collaborator

@ljedrz ljedrz commented Jan 26, 2026

This PR facilitates concrete error use in crates which would otherwise run into circular dependencies (e.g. #3101).

The only "internal" dependencies of the new crate are circuit-environment and console-network, and they should remain minimal to ensure broad applicability.

Copy link
Collaborator

@vicsn vicsn left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@raychu86 is your release process robust against new crates? I recall it skipped over a new one once.

@raychu86
Copy link
Collaborator

The release process needs to be updated manually if there are new scripts. I had intended to add automated checks, but never got around to it since crate additions are fairly rare.

Copy link
Collaborator

@mitchmindtree mitchmindtree left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Apologies for the delay, LGTM :shipit:

@vicsn vicsn merged commit 031212a into ProvableHQ:staging Feb 2, 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.

4 participants