From f5fd7efee7c31cd9cad98ea273716980d2591ca0 Mon Sep 17 00:00:00 2001 From: Luiz Augusto von Dentz Date: Tue, 17 Jun 2025 10:18:30 -0400 Subject: [PATCH] github: Remove lint workflow --- .github/workflows/lint.yml | 32 -------------------------------- 1 file changed, 32 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 9f775cf63..000000000 --- a/.github/workflows/lint.yml +++ /dev/null @@ -1,32 +0,0 @@ ---- -name: Lint - -on: # yamllint disable-line rule:truthy - push: null - -permissions: {} - -jobs: - build: - name: Lint - runs-on: ubuntu-latest - - permissions: - contents: read - packages: read - # To report GitHub Actions status checks - statuses: write - - steps: - - name: Checkout code - uses: actions/checkout@v4 - with: - # super-linter needs the full git history to get the - # list of files that changed across commits - fetch-depth: 0 - - - name: Super-linter - uses: super-linter/super-linter@v7.3.0 # x-release-please-version - env: - # To report GitHub Actions status checks - GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} -- 2.47.3