Commit 8503160
authored
ci: remove semgrep on each PR creation
The semgrep setup is slow on large repositories. Move it to a once a day task instead.1 parent 6af0f9a commit 8503160
1 file changed
+0
-1
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | | - | |
3 | 2 | | |
4 | 3 | | |
5 | 4 | | |
| |||
0 commit comments