Skip to content

Update src/packages/documents/documents/workspace/views/edit/document… #1878

Update src/packages/documents/documents/workspace/views/edit/document…

Update src/packages/documents/documents/workspace/views/edit/document… #1878

Workflow file for this run

# 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: [ "main" ]
schedule:
- cron: '19 14 * * 5'
jobs:
lint:
name: DevSkim
runs-on: ubuntu-20.04
permissions:
actions: read
contents: read
security-events: write
steps:
- name: Checkout code
uses: actions/checkout@v3
- name: Run DevSkim scanner
uses: microsoft/DevSkim-Action@v1
with:
directory-to-scan: src
should-scan-archives: false
ignore-globs: "**/.git/**,*.md,*.mdx,*.stories.ts,*.js"
- name: Upload DevSkim scan results to GitHub Security tab
uses: github/codeql-action/upload-sarif@v2
with:
sarif_file: devskim-results.sarif