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 Makefile #2278

Open
wants to merge 5 commits into
base: main
Choose a base branch
from
Open

Update Makefile #2278

wants to merge 5 commits into from
+39 −35

Commits on Nov 28, 2024

  1. Update Makefile by reducing code duplication, adding disable-l1-verif… 

    …ication flag and adding commands to .PHONY
    @AnkushinDaniil
    AnkushinDaniil committed Nov 28, 2024
    Configuration menu
    Copy the full SHA
    6059486 View commit details
    Browse the repository at this point in the history

  2. Revert some changes

    @AnkushinDaniil
    AnkushinDaniil committed Nov 28, 2024
    Configuration menu
    Copy the full SHA
    ff79dc5 View commit details
    Browse the repository at this point in the history

  3. Revert formatting

    @AnkushinDaniil
    AnkushinDaniil committed Nov 28, 2024
    Configuration menu
    Copy the full SHA
    0c1bac5 View commit details
    Browse the repository at this point in the history

  4. Revert description

    @AnkushinDaniil
    AnkushinDaniil committed Nov 28, 2024
    Configuration menu
    Copy the full SHA
    a63b248 View commit details
    Browse the repository at this point in the history

  5. Update comments for p2p cases

    @AnkushinDaniil
    AnkushinDaniil committed Nov 28, 2024
    Configuration menu
    Copy the full SHA
    eb138fa View commit details
    Browse the repository at this point in the history