Skip to content

Benchmarking tool using cost estimator (#235) #261

Benchmarking tool using cost estimator (#235)

Benchmarking tool using cost estimator (#235) #261

Workflow file for this run

name: Beta lints
# These lints are only informative, so we only run them directly on branches
# and not trial-merges of PRs, to reduce noise.
on: push
jobs:
clippy-beta:
name: Clippy (beta)
timeout-minutes: 30
runs-on: ubuntu-latest
continue-on-error: true
steps:
- uses: actions/checkout@v3
- uses: actions-rs/toolchain@v1
with:
components: clippy
override: false
- name: Run Clippy (beta)
uses: actions-rs/clippy-check@v1
continue-on-error: true
with:
name: Clippy (beta)
token: ${{ secrets.GITHUB_TOKEN }}
args: --all-features --all-targets -- -W clippy::all