From cf2dc81546ce2e61dc2b3970fe7a07e9bd7476d3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ila=C3=AF=20Deutel?= Date: Mon, 18 Nov 2024 00:47:39 -0500 Subject: [PATCH] Delete .github/workflows/devskim.yml MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Ilaï Deutel --- .github/workflows/devskim.yml | 31 ------------------------------- 1 file changed, 31 deletions(-) delete mode 100644 .github/workflows/devskim.yml diff --git a/.github/workflows/devskim.yml b/.github/workflows/devskim.yml deleted file mode 100644 index 1822fc6..0000000 --- a/.github/workflows/devskim.yml +++ /dev/null @@ -1,31 +0,0 @@ -name: DevSkim - -on: - push: - branches: - - master - pull_request: - branches: - - master - schedule: - - cron: '25 16 * * 1' - -jobs: - lint: - name: DevSkim - runs-on: ubuntu-20.04 - permissions: - actions: read - contents: read - security-events: write - steps: - - name: Checkout code - uses: actions/checkout@v4 - - - name: Run DevSkim scanner - uses: microsoft/DevSkim-Action@v1 - - - name: Upload DevSkim scan results to GitHub Security tab - uses: github/codeql-action/upload-sarif@v3 - with: - sarif_file: devskim-results.sarif