Update file

forky-mcforkface · May 15, 2024 · 65dde18 · 65dde18
1 parent 86baba7
commit 65dde18
Showing 1 changed file with 5 additions and 3 deletions.
diff --git a/.github/workflows/semgrep.yml b/.github/workflows/semgrep.yml
@@ -1,4 +1,5 @@
 on:
+  workflow_dispatch: {}
   pull_request: {}
   push:
     branches:
@@ -8,16 +9,17 @@ on:
     - .github/workflows/semgrep.yml
   schedule:
   # random HH:MM to avoid a load spike on GitHub Actions at 00:00
-  - cron: 55 22 * * *
+  - cron: 50 5 * * *
 name: Semgrep
 jobs:
   semgrep:
-    name: Scan
+    name: semgrep/ci
     runs-on: ubuntu-20.04
     env:
       SEMGREP_APP_TOKEN: ${{ secrets.SEMGREP_APP_TOKEN }}
+      SEMGREP_APP_URL: ${{ vars.SEMGREP_APP_URL }}
     container:
       image: returntocorp/semgrep
     steps:
     - uses: actions/checkout@v3
-    - run: semgrep ci
+    - run: semgrep ci