Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add support for large decimals with >34 digits. #293

Merged
merged 3 commits into from
Oct 19, 2023
Merged

Add support for large decimals with >34 digits. #293

merged 3 commits into from
Oct 19, 2023

Commits on Oct 18, 2023

  1. Allow large decimals >34 digits and fix decimal corruption issue beyo… 

    …nd 34 digits
    @nirosys
    nirosys committed Oct 18, 2023
    Configuration menu
    Copy the full SHA
    0e031c4 View commit details
    Browse the repository at this point in the history

  2. Free read_member if we've allocated it

    @nirosys
    nirosys committed Oct 18, 2023
    Configuration menu
    Copy the full SHA
    d8240e3 View commit details
    Browse the repository at this point in the history

Commits on Oct 19, 2023

  1. Add repo to PR head checkout 

    In order to support 3rd party repos it looks like we can either leave both the
revision, and the repo off of the config, or specify both. By not specifying
the repo, but specifying the ref/revision, the checkout action will try to pull
the revision from the target repo.
    @nirosys
    nirosys committed Oct 19, 2023
    Configuration menu
    Copy the full SHA
    21208f3 View commit details
    Browse the repository at this point in the history