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

Update to latest version and some cleanups. #8

Merged
merged 4 commits into from
May 20, 2023
Merged

Update to latest version and some cleanups. #8

merged 4 commits into from
May 20, 2023

Commits on May 20, 2023

  1. Update to latest version and some cleanups. 

    - Update to latest versions of dependencies
- Add upickle to benchmarks
- Some tweaks to proto serialization (caching size, utf8, etc.)
    @jsuereth
    jsuereth committed May 20, 2023
    Configuration menu
    Copy the full SHA
    5fb4dcd View commit details
    Browse the repository at this point in the history

  2. Regenerate automated files/headers

    @jsuereth
    jsuereth committed May 20, 2023
    Configuration menu
    Copy the full SHA
    2147fe6 View commit details
    Browse the repository at this point in the history

  3. bump to working versions of temurin

    @jsuereth
    jsuereth committed May 20, 2023
    Configuration menu
    Copy the full SHA
    2a29fdf View commit details
    Browse the repository at this point in the history

  4. Actually regnereate gha files

    @jsuereth
    jsuereth committed May 20, 2023
    Configuration menu
    Copy the full SHA
    53d0e41 View commit details
    Browse the repository at this point in the history