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

chore: merge main into develop #61

Merged
merged 7 commits into from
Oct 2, 2023
Merged

chore: merge main into develop #61

merged 7 commits into from
Oct 2, 2023

Commits on Sep 11, 2023

  1. Bump Hardhat version

    @gvladika @gzeoneth
    gvladika authored and gzeoneth committed Sep 11, 2023
    Configuration menu
    Copy the full SHA
    ab8acca View commit details
    Browse the repository at this point in the history

  2. Make solidity-coverage not complain

    @gvladika @gzeoneth
    gvladika authored and gzeoneth committed Sep 11, 2023
    Configuration menu
    Copy the full SHA
    4908930 View commit details
    Browse the repository at this point in the history

  3. Use node v18

    @gvladika @gzeoneth
    gvladika authored and gzeoneth committed Sep 11, 2023
    Configuration menu
    Copy the full SHA
    ecd4b8a View commit details
    Browse the repository at this point in the history

  4. Move to dev dependencies

    @gvladika @gzeoneth
    gvladika authored and gzeoneth committed Sep 11, 2023
    Configuration menu
    Copy the full SHA
    49564eb View commit details
    Browse the repository at this point in the history

  5. Merge pull request #53 from OffchainLabs/bump-hardhat 

    Bump Hardhat version
    @hkalodner
    hkalodner authored Sep 11, 2023
    Configuration menu
    Copy the full SHA
    a1cdec7 View commit details
    Browse the repository at this point in the history

  6. Merge remote-tracking branch 'origin/main' into merge-main-develop

    @gzeoneth
    gzeoneth committed Sep 11, 2023
    Configuration menu
    Copy the full SHA
    c8bfa4c View commit details
    Browse the repository at this point in the history

Commits on Oct 2, 2023

  1. Merge branch 'develop' into merge-main-develop

    @gzeoneth
    gzeoneth authored Oct 2, 2023
    Configuration menu
    Copy the full SHA
    09436d3 View commit details
    Browse the repository at this point in the history