ignore deny lints in josh

rust-lang · Oct 20, 2023 · d36c3e7 · d36c3e7
1 parent b363af6
commit d36c3e7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -188,7 +188,7 @@ jobs:
  with:
  fetch-depth: 256 # get a bit more of the history
  - name: install josh-proxy
- run: cargo +stable install josh-proxy --git https:/josh-project/josh --tag r22.12.06
+ run: RUSTFLAGS="--cap-lints warn" cargo +stable install josh-proxy --git https:/josh-project/josh --tag r22.12.06
  - name: setup bot git name and email
  run: |
  git config --global user.name 'The Miri Conjob Bot'