From ea848c0dbdadf4863611e0495ff18bbbc850adab Mon Sep 17 00:00:00 2001 From: Sebastian K Date: Sun, 21 Jan 2024 18:44:53 +0100 Subject: [PATCH] don't lint --- .github/workflows/lint.yml | 12 ------------ 1 file changed, 12 deletions(-) delete mode 100644 .github/workflows/lint.yml diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml deleted file mode 100644 index 571186d6..00000000 --- a/.github/workflows/lint.yml +++ /dev/null @@ -1,12 +0,0 @@ -on: push -name: clippy & fmt -jobs: - check-clippy: - runs-on: ubuntu-latest - steps: - - uses: actions/checkout@v1 - - run: rustup component add clippy - - uses: actions-rs/clippy-check@v1 - with: - token: ${{ secrets.GITHUB_TOKEN }} - args: