fix metric being emitted (#587) #2414
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Lint Clippy | |
| on: | |
| push: | |
| concurrency: | |
| group: '${{ github.workflow }} @ ${{ github.event.pull_request.head.label || github.head_ref || github.ref }}' | |
| cancel-in-progress: true | |
| permissions: | |
| # Leaving clippy annotations on commits... | |
| contents: write | |
| # And on PRs | |
| pull-requests: write | |
| # Updating commit and PR statuses | |
| checks: write | |
| jobs: | |
| lint-clippy: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout code | |
| uses: actions/checkout@v4 | |
| - name: Install Rust nightly | |
| run: rustup toolchain install nightly-2024-07-10 | |
| - name: Set Rust nightly as default | |
| run: rustup default nightly-2024-07-10 | |
| - name: Install Rust clippy for checking clippy errors | |
| run: rustup component add clippy | |
| - name: Clippy | |
| run: cargo clippy --all-targets --all-features -- -D warnings --no-deps |