Skip to content

Commit

Permalink
reuse cache result from cargo
Browse files Browse the repository at this point in the history
  • Loading branch information
hero78119 committed Sep 6, 2024
1 parent 361e852 commit 5fa71bf
Show file tree
Hide file tree
Showing 3 changed files with 6 additions and 6 deletions.
4 changes: 2 additions & 2 deletions .github/workflows/lints.yml
Original file line number Diff line number Diff line change
Expand Up @@ -59,7 +59,7 @@ jobs:

- name: Install cargo make
run: |
cargo install --force cargo-make
cargo install cargo-make || echo "cargo-make already installed"
- name: Check code format
uses: actions-rs/cargo@v1
with:
Expand All @@ -69,7 +69,7 @@ jobs:
- name: Run clippy
uses: actions-rs/cargo@v1
env:
TAEGET: ${{ matrix.target }}
TARGET: ${{ matrix.target }}
with:
command: make
args: clippy-check-selected-packages
Expand Down
4 changes: 2 additions & 2 deletions .github/workflows/tests.yml
Original file line number Diff line number Diff line change
Expand Up @@ -54,11 +54,11 @@ jobs:

- name: Install cargo make
run: |
cargo install --force cargo-make
cargo install cargo-make || echo "cargo-make already installed"
- name: run test
uses: actions-rs/cargo@v1
env:
TAEGET: ${{ matrix.target }}
TARGET: ${{ matrix.target }}
with:
command: make
args: tests
4 changes: 2 additions & 2 deletions Makefile.toml
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@ RAYON_NUM_THREADS = "${CORE}"

[tasks.tests]
command = "cargo"
args = ["test", "--lib", "--release", "--target", "${CARGO_MAKE_ENV_TARGET}", "--workspace", "--exclude", "singer-pro", "--exclude", "ceno_rt"]
args = ["test", "--lib", "--release", "--target", "${TARGET}", "--workspace", "--exclude", "singer-pro", "--exclude", "ceno_rt"]

[tasks.fmt-check]
command = "cargo"
Expand All @@ -25,4 +25,4 @@ args = ["fmt", "-p", "ceno_zkvm", "--", "--check"]

[tasks.clippy-check-selected-packages]
command = "cargo"
args = ["clippy", "-p", "ceno_zkvm", "--target", "${CARGO_MAKE_ENV_TARGET}", "--", "-D", "warnings"]
args = ["clippy", "-p", "ceno_zkvm", "--target", "${TARGET}", "--", "-D", "warnings"]

0 comments on commit 5fa71bf

Please sign in to comment.