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

remove unit suffix from duration config params #1927

Closed
wants to merge 19 commits into from
Closed

remove unit suffix from duration config params #1927

wants to merge 19 commits into from

Commits on Mar 24, 2023

  1. remove unit suffix from duration config params

    @tclemos
    tclemos committed Mar 24, 2023
    Configuration menu
    Copy the full SHA
    cdfe326 View commit details
    Browse the repository at this point in the history

  2. linter again

    @tclemos
    tclemos committed Mar 24, 2023
    Configuration menu
    Copy the full SHA
    9f4e6df View commit details
    Browse the repository at this point in the history

  3. adding missing units

    @tclemos
    tclemos committed Mar 24, 2023
    Configuration menu
    Copy the full SHA
    4ba75de View commit details
    Browse the repository at this point in the history

  4. adding missing units

    @tclemos
    tclemos committed Mar 24, 2023
    Configuration menu
    Copy the full SHA
    e9bd097 View commit details
    Browse the repository at this point in the history

  5. adding missing units

    @tclemos
    tclemos committed Mar 24, 2023
    Configuration menu
    Copy the full SHA
    c3963d4 View commit details
    Browse the repository at this point in the history

  6. WIP documenting config file

    @arnaubennassar
    arnaubennassar committed Mar 24, 2023
    Configuration menu
    Copy the full SHA
    5a3f308 View commit details
    Browse the repository at this point in the history

  7. Merge branch 'feature/review-config' into fix/duration-config

    @arnaubennassar
    arnaubennassar committed Mar 24, 2023
    Configuration menu
    Copy the full SHA
    ab3992f View commit details
    Browse the repository at this point in the history

  8. WIP

    @arnaubennassar
    arnaubennassar committed Mar 24, 2023
    Configuration menu
    Copy the full SHA
    c39c598 View commit details
    Browse the repository at this point in the history

Commits on Apr 3, 2023

  1. WIP

    @arnaubennassar
    arnaubennassar committed Apr 3, 2023
    Configuration menu
    Copy the full SHA
    89f3433 View commit details
    Browse the repository at this point in the history

  2. WIP

    @arnaubennassar
    arnaubennassar committed Apr 3, 2023
    Configuration menu
    Copy the full SHA
    c426b7e View commit details
    Browse the repository at this point in the history

  3. WIP

    @arnaubennassar
    arnaubennassar committed Apr 3, 2023
    Configuration menu
    Copy the full SHA
    a1cb433 View commit details
    Browse the repository at this point in the history

  4. WIP

    @arnaubennassar
    arnaubennassar committed Apr 3, 2023
    Configuration menu
    Copy the full SHA
    1aa45c0 View commit details
    Browse the repository at this point in the history

Commits on Apr 4, 2023

  1. Add config doc

    @arnaubennassar
    arnaubennassar committed Apr 4, 2023
    Configuration menu
    Copy the full SHA
    18b3ac8 View commit details
    Browse the repository at this point in the history

  2. Add config doc

    @arnaubennassar
    arnaubennassar committed Apr 4, 2023
    Configuration menu
    Copy the full SHA
    bae066f View commit details
    Browse the repository at this point in the history

  3. Add config doc

    @arnaubennassar
    arnaubennassar committed Apr 4, 2023
    Configuration menu
    Copy the full SHA
    7cc1dc2 View commit details
    Browse the repository at this point in the history

Commits on Apr 5, 2023

  1. Fix test

    @arnaubennassar
    arnaubennassar committed Apr 5, 2023
    Configuration menu
    Copy the full SHA
    184701e View commit details
    Browse the repository at this point in the history

  2. Update prover

    @arnaubennassar
    arnaubennassar committed Apr 5, 2023
    Configuration menu
    Copy the full SHA
    a80e08e View commit details
    Browse the repository at this point in the history

  3. Merge branch 'develop' into fix/duration-config

    @arnaubennassar
    arnaubennassar authored Apr 5, 2023
    Configuration menu
    Copy the full SHA
    0d078fa View commit details
    Browse the repository at this point in the history

  4. Update prover

    @arnaubennassar
    arnaubennassar committed Apr 5, 2023
    Configuration menu
    Copy the full SHA
    f0a16a1 View commit details
    Browse the repository at this point in the history