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

feat(ci): fix make clippy script and clippy CI job #220

Merged
merged 18 commits into from
Jun 19, 2024
Merged

feat(ci): fix make clippy script and clippy CI job #220

merged 18 commits into from
Jun 19, 2024

Commits on May 17, 2024

  1. feat(ci): Fix make clippy script and clippy CI job

    @petarvujovic98
    petarvujovic98 committed May 17, 2024
    Configuration menu
    Copy the full SHA
    bdb62b0 View commit details
    Browse the repository at this point in the history

  2. fix: Install toolchain required for clippy

    @petarvujovic98
    petarvujovic98 committed May 17, 2024
    Configuration menu
    Copy the full SHA
    d4a3ecb View commit details
    Browse the repository at this point in the history

Commits on May 20, 2024

  1. Merge branch 'main' into clippy-ci

    @petarvujovic98
    petarvujovic98 authored May 20, 2024
    Configuration menu
    Copy the full SHA
    a01ac0c View commit details
    Browse the repository at this point in the history

  2. fix: Fix clippy lints

    @petarvujovic98
    petarvujovic98 committed May 20, 2024
    Configuration menu
    Copy the full SHA
    2620e39 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' into clippy-ci

    @petarvujovic98
    petarvujovic98 authored May 20, 2024
    Configuration menu
    Copy the full SHA
    4e27b0b View commit details
    Browse the repository at this point in the history

Commits on Jun 14, 2024

  1. Merge branch 'main' into clippy-ci

    @petarvujovic98
    petarvujovic98 committed Jun 14, 2024
    Configuration menu
    Copy the full SHA
    7e1f11a View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into clippy-ci

    @petarvujovic98
    petarvujovic98 authored Jun 14, 2024
    Configuration menu
    Copy the full SHA
    03e3fbf View commit details
    Browse the repository at this point in the history

  3. chore(clippy): fix lints and improve clippy script

    @petarvujovic98
    petarvujovic98 committed Jun 14, 2024
    Configuration menu
    Copy the full SHA
    3fc369a View commit details
    Browse the repository at this point in the history

  4. chore(clippy): build risc0 guest to compile driver and host

    @petarvujovic98
    petarvujovic98 committed Jun 14, 2024
    Configuration menu
    Copy the full SHA
    b774aaf View commit details
    Browse the repository at this point in the history

Commits on Jun 17, 2024

  1. Merge branch 'main' into clippy-ci

    @petarvujovic98
    petarvujovic98 authored Jun 17, 2024
    Configuration menu
    Copy the full SHA
    f7d9fce View commit details
    Browse the repository at this point in the history

  2. chore(clippy): add env vars

    @petarvujovic98
    petarvujovic98 committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    5a55c1e View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' into clippy-ci

    @petarvujovic98
    petarvujovic98 committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    66684bb View commit details
    Browse the repository at this point in the history

  4. chore(clippy): fix lints

    @petarvujovic98
    petarvujovic98 committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    716215f View commit details
    Browse the repository at this point in the history

  5. chore(clippy): do not specify projects for risc0 command

    @petarvujovic98
    petarvujovic98 committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    37efcff View commit details
    Browse the repository at this point in the history

  6. chore(clippy): install tools before running clippy

    @petarvujovic98
    petarvujovic98 committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    4e163f4 View commit details
    Browse the repository at this point in the history

Commits on Jun 18, 2024

  1. chore(ci): remove unused file

    @petarvujovic98
    petarvujovic98 committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    7b4f5ca View commit details
    Browse the repository at this point in the history

  2. refactor(clippy): use build script instead of separate clippy script

    @petarvujovic98
    petarvujovic98 committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    cda71ca View commit details
    Browse the repository at this point in the history

  3. refactor(clippy): move install script to separate step in job

    @petarvujovic98
    petarvujovic98 committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    32bb754 View commit details
    Browse the repository at this point in the history