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

feat: initial succinct vendor target #1

Closed
wants to merge 18 commits into from
Closed

feat: initial succinct vendor target #1

wants to merge 18 commits into from

Commits on Jan 23, 2024

  1. feat: initial succinct vendor target

    @jtguibas
    jtguibas committed Jan 23, 2024
    Configuration menu
    Copy the full SHA
    e91b7fc View commit details
    Browse the repository at this point in the history

  2. fix: move cmath into sys

    @jtguibas
    jtguibas committed Jan 23, 2024
    Configuration menu
    Copy the full SHA
    70024fa View commit details
    Browse the repository at this point in the history

  3. fix: move os_str into sys

    @jtguibas
    jtguibas committed Jan 23, 2024
    Configuration menu
    Copy the full SHA
    95c76b6 View commit details
    Browse the repository at this point in the history

  4. fix: os_str module path

    @jtguibas
    jtguibas committed Jan 23, 2024
    Configuration menu
    Copy the full SHA
    e60f27f View commit details
    Browse the repository at this point in the history

Commits on Jan 24, 2024

  1. feat: add release workflow

    @jtguibas
    jtguibas committed Jan 24, 2024
    Configuration menu
    Copy the full SHA
    73eb6fa View commit details
    Browse the repository at this point in the history

  2. fix: add ref to succinct branch on rust repo

    @jtguibas
    jtguibas committed Jan 24, 2024
    Configuration menu
    Copy the full SHA
    8316007 View commit details
    Browse the repository at this point in the history

  3. fix: add pull token

    @jtguibas
    jtguibas committed Jan 24, 2024
    Configuration menu
    Copy the full SHA
    d2e5c22 View commit details
    Browse the repository at this point in the history

  4. feat: use github access token to clone rust

    @jtguibas
    jtguibas committed Jan 24, 2024
    Configuration menu
    Copy the full SHA
    a01500a View commit details
    Browse the repository at this point in the history

  5. runs-on clause

    @jtguibas
    jtguibas committed Jan 24, 2024
    Configuration menu
    Copy the full SHA
    7ae3e44 View commit details
    Browse the repository at this point in the history

  6. feat: don't checkout source to root

    @jtguibas
    jtguibas committed Jan 24, 2024
    Configuration menu
    Copy the full SHA
    c054973 View commit details
    Browse the repository at this point in the history

  7. feat: don't run cargo prove in workspace

    @jtguibas
    jtguibas committed Jan 24, 2024
    Configuration menu
    Copy the full SHA
    0506b04 View commit details
    Browse the repository at this point in the history

  8. fix: install cmd

    @jtguibas
    jtguibas committed Jan 24, 2024
    Configuration menu
    Copy the full SHA
    b3d2102 View commit details
    Browse the repository at this point in the history

  9. install cli, not core

    @jtguibas
    jtguibas committed Jan 24, 2024
    Configuration menu
    Copy the full SHA
    9bd3547 View commit details
    Browse the repository at this point in the history

  10. fix: archive cmd

    @jtguibas
    jtguibas committed Jan 24, 2024
    Configuration menu
    Copy the full SHA
    42fcd07 View commit details
    Browse the repository at this point in the history

  11. turn off gha

    @jtguibas
    jtguibas committed Jan 24, 2024
    Configuration menu
    Copy the full SHA
    8c6e239 View commit details
    Browse the repository at this point in the history

  12. install ninja and cmake

    @jtguibas
    jtguibas committed Jan 24, 2024
    Configuration menu
    Copy the full SHA
    974c6b5 View commit details
    Browse the repository at this point in the history

  13. test release workflow

    @jtguibas
    jtguibas committed Jan 24, 2024
    Configuration menu
    Copy the full SHA
    4be3058 View commit details
    Browse the repository at this point in the history

  14. fix github access token

    @jtguibas
    jtguibas committed Jan 24, 2024
    Configuration menu
    Copy the full SHA
    e2b045f View commit details
    Browse the repository at this point in the history