diff --git a/.github/workflows/devskim.yml b/.github/workflows/devskim.yml deleted file mode 100644 index 0ca0807..0000000 --- a/.github/workflows/devskim.yml +++ /dev/null @@ -1,37 +0,0 @@ -# This workflow uses actions that are not certified by GitHub. -# They are provided by a third-party and are governed by -# separate terms of service, privacy policy, and support -# documentation. - -name: DevSkim - -on: - push: - branches: [ "master" ] - pull_request: - branches: [ "master" ] - schedule: - - cron: '19 5 * * 2' - -permissions: - contents: read - -jobs: - lint: - name: DevSkim - runs-on: ubuntu-20.04 - permissions: - actions: read - contents: read - security-events: write - steps: - - name: Checkout code - uses: actions/checkout@93ea575cb5d8a053eaa0ac8fa3b40d7e05a33cc8 - - - name: Run DevSkim scanner - uses: microsoft/DevSkim-Action@a8a9e06bab570db990fe7351ae9d4d444b9489ca - - - name: Upload DevSkim scan results to GitHub Security tab - uses: github/codeql-action/upload-sarif@678fc3afe258fb2e0cdc165ccf77b85719de7b3c - with: - sarif_file: devskim-results.sarif