Repository navigation
Conversation
…* and pysdk-v* tags Moved from the private app repo so the source is public and matches the package metadata. Both generated from sdk/openapi.json (copy of provable.io/openapi.json). Adds the missing rotateServerSeed + getPublicMetrics (TS) and get_public_metrics (py) methods, and a TS test that every spec path has a client method.
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
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.
Adds the official SDKs so they can be published:
sdk/typescript→ @provableio/sdk 0.1.0 (npm)sdk/python→ provableio 0.1.0 (PyPI)sdk/openapi.json: a copy of https://provable.io/openapi.json (byte-identical today). Both SDKs generate their types from it.They were in the private app repo, but both packages' metadata, the docs "SDK source" link and the license all point at this repo. Nothing changes for
@provableio/provable-core;npm packstill ships the same 8 files.Fixes while moving
rotateServerSeedorgetPublicMetrics. Python had noget_public_metrics, and its own coverage test was failing on that. Both are added. A new TS test fails if any spec path has no method (the og.png image route is excluded).limit/beforeon listOutcomes, PublicMetrics). They are regenerated.Release
.github/workflows/publish-sdk.yml: tagsdk-vX.Y.Z→ npm,pysdk-vX.Y.Z→ PyPI. Both use trusted publishing (OIDC, no stored tokens), check the tag against the package version, and fail if generated code doesn't matchsdk/openapi.json. PyPI runs in thepypienvironment.ci.ymlgains ansdkjob with the same checks on every PR.Verified locally: TS build + 6/6 tests; Python 9/9. I installed the packed tarball and the wheel in clean projects and called the live API with each: health 200, floats 200, verifyServerHash
true, public-metricsoperational, and the 2^32 error path returns 400 as a typed error.