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 support for cargo build --verifiable --lint command #1512

Merged
merged 13 commits into from
Apr 23, 2024
Merged

Add support for cargo build --verifiable --lint command #1512

merged 13 commits into from
Apr 23, 2024

Commits on Feb 28, 2024

  1. Add linting support to build image

    @smiasojed
    smiasojed committed Feb 28, 2024
    Configuration menu
    Copy the full SHA
    eac8d6d View commit details
    Browse the repository at this point in the history

  2. Copy dylint to next docker stage

    @smiasojed
    smiasojed committed Feb 28, 2024
    Configuration menu
    Copy the full SHA
    df2a5b0 View commit details
    Browse the repository at this point in the history

Commits on Mar 3, 2024

  1. Fix build with lint

    @smiasojed
    smiasojed committed Mar 3, 2024
    Configuration menu
    Copy the full SHA
    f130cb5 View commit details
    Browse the repository at this point in the history

Commits on Apr 8, 2024

  1. Merge branch 'master' into sm/docker-lint

    @smiasojed
    smiasojed authored Apr 8, 2024
    Configuration menu
    Copy the full SHA
    5d6a691 View commit details
    Browse the repository at this point in the history

Commits on Apr 9, 2024

  1. Merge branch 'master' into sm/docker-lint

    @smiasojed
    smiasojed authored Apr 9, 2024
    Configuration menu
    Copy the full SHA
    1bc8aee View commit details
    Browse the repository at this point in the history

Commits on Apr 11, 2024

  1. Add dylint_driver as part of docker image

    @smiasojed
    smiasojed committed Apr 11, 2024
    Configuration menu
    Copy the full SHA
    8ee74d8 View commit details
    Browse the repository at this point in the history

  2. Enable lint and verfiable combination

    @smiasojed
    smiasojed committed Apr 11, 2024
    Configuration menu
    Copy the full SHA
    0521793 View commit details
    Browse the repository at this point in the history

  3. Merge remote-tracking branch 'origin/master' into sm/docker-lint

    @smiasojed
    smiasojed committed Apr 11, 2024
    Configuration menu
    Copy the full SHA
    c3f9247 View commit details
    Browse the repository at this point in the history

  4. Merge remote-tracking branch 'origin/master' into sm/docker-lint

    @smiasojed
    smiasojed committed Apr 11, 2024
    Configuration menu
    Copy the full SHA
    9cf8c93 View commit details
    Browse the repository at this point in the history

  5. Update c-c deps to 4.1.0

    @smiasojed
    smiasojed committed Apr 11, 2024
    Configuration menu
    Copy the full SHA
    909e578 View commit details
    Browse the repository at this point in the history

Commits on Apr 18, 2024

  1. Merge remote-tracking branch 'origin/master' into sm/docker-lint

    @smiasojed
    smiasojed committed Apr 18, 2024
    Configuration menu
    Copy the full SHA
    f136ddc View commit details
    Browse the repository at this point in the history

Commits on Apr 22, 2024

  1. Fix lint in docker

    @smiasojed
    smiasojed committed Apr 22, 2024
    Configuration menu
    Copy the full SHA
    9de5b82 View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'origin/master' into sm/docker-lint

    @smiasojed
    smiasojed committed Apr 22, 2024
    Configuration menu
    Copy the full SHA
    fb3e003 View commit details
    Browse the repository at this point in the history