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 feature gating for slow tests and cache SRS using git LFS #27

Closed
wants to merge 16 commits into from
Closed

Add feature gating for slow tests and cache SRS using git LFS #27

wants to merge 16 commits into from

Commits on Oct 30, 2023

  1. adds features to gate test that require slow proving and adds srs to … 

    …repo using git lfs
    @willemolding
    willemolding committed Oct 30, 2023
    Configuration menu
    Copy the full SHA
    2b60ac7 View commit details
    Browse the repository at this point in the history

Commits on Oct 31, 2023

  1. configure flex sha advice cols

    @nulltea
    nulltea committed Oct 31, 2023
    Configuration menu
    Copy the full SHA
    2a03b15 View commit details
    Browse the repository at this point in the history

Commits on Nov 1, 2023

  1. remove 30minute timeout and add contract tests to root

    @willemolding
    willemolding committed Nov 1, 2023
    Configuration menu
    Copy the full SHA
    350cd9c View commit details
    Browse the repository at this point in the history

  2. merge main

    @willemolding
    willemolding committed Nov 1, 2023
    Configuration menu
    Copy the full SHA
    aef82d8 View commit details
    Browse the repository at this point in the history

  3. fix workspace issues introduced by refactor

    @willemolding
    willemolding committed Nov 1, 2023
    Configuration menu
    Copy the full SHA
    bc9d616 View commit details
    Browse the repository at this point in the history

  4. add forge install to foundry tests

    @willemolding
    willemolding committed Nov 1, 2023
    Configuration menu
    Copy the full SHA
    d4f5bef View commit details
    Browse the repository at this point in the history

  5. run foundry tests from correct dir

    @willemolding
    willemolding committed Nov 1, 2023
    Configuration menu
    Copy the full SHA
    bd51766 View commit details
    Browse the repository at this point in the history

  6. skip tests that block CI from finishing

    @willemolding
    willemolding committed Nov 1, 2023
    Configuration menu
    Copy the full SHA
    b142b46 View commit details
    Browse the repository at this point in the history

  7. skip different test

    @willemolding
    willemolding committed Nov 1, 2023
    Configuration menu
    Copy the full SHA
    7fc0a63 View commit details
    Browse the repository at this point in the history

Commits on Nov 2, 2023

  1. also skip rotation test

    @willemolding
    willemolding committed Nov 2, 2023
    Configuration menu
    Copy the full SHA
    0ecee8b View commit details
    Browse the repository at this point in the history

  2. add steps to it uses same rust version as repo

    @willemolding
    willemolding committed Nov 2, 2023
    Configuration menu
    Copy the full SHA
    9020506 View commit details
    Browse the repository at this point in the history

  3. fix rust toolchain name

    @willemolding
    willemolding committed Nov 2, 2023
    Configuration menu
    Copy the full SHA
    ea70f76 View commit details
    Browse the repository at this point in the history

  4. update toolchain file to new format

    @willemolding
    willemolding committed Nov 2, 2023
    Configuration menu
    Copy the full SHA
    d35f781 View commit details
    Browse the repository at this point in the history

Commits on Nov 3, 2023

  1. adds tests passing locally in sequential mode

    @willemolding
    willemolding committed Nov 3, 2023
    Configuration menu
    Copy the full SHA
    51498cb View commit details
    Browse the repository at this point in the history

Commits on Nov 9, 2023

  1. ensure all relevent tests run serially

    @willemolding
    willemolding committed Nov 9, 2023
    Configuration menu
    Copy the full SHA
    18a0c5d View commit details
    Browse the repository at this point in the history

Commits on Nov 27, 2023

  1. Merge branch 'main' into willem/full-prover-tests-behind-feature

    @willemolding
    willemolding authored Nov 27, 2023
    Configuration menu
    Copy the full SHA
    4b76903 View commit details
    Browse the repository at this point in the history