Skip to content

Commit

Permalink
fix: remove vendor folder from semgrep scan and fix workflow (#3959)
Browse files Browse the repository at this point in the history
* chore: remove vendor folder from semgrep scan

Signed-off-by: Jorge Turrado <[email protected]>

* fix the checkout

Signed-off-by: Jorge Turrado <[email protected]>

* add ne wline

Signed-off-by: Jorge Turrado <[email protected]>

Signed-off-by: Jorge Turrado <[email protected]>
  • Loading branch information
JorTurFer authored Dec 6, 2022
1 parent 8f9b1d1 commit ece1d19
Show file tree
Hide file tree
Showing 2 changed files with 6 additions and 4 deletions.
8 changes: 4 additions & 4 deletions .github/workflows/static-analysis.yml
Original file line number Diff line number Diff line change
Expand Up @@ -20,14 +20,14 @@ jobs:
uses: actions/checkout@v3

- name: Register workspace path
if: github.ref != 'refs/heads/main'
if: ${{ github.event.number > 0 }}
run: git config --global --add safe.directory "$GITHUB_WORKSPACE"

- name: Checkout Pull Request
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
id: checkout
if: github.ref != 'refs/heads/main'
if: ${{ github.event.number > 0 }}
run: |
gh pr checkout ${{ github.event.number }}
Expand Down Expand Up @@ -60,14 +60,14 @@ jobs:
steps:
- uses: actions/checkout@v3
- name: Register workspace path
if: github.ref != 'refs/heads/main'
if: ${{ github.event.number > 0 }}
run: git config --global --add safe.directory "$GITHUB_WORKSPACE"

- name: Checkout Pull Request
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
id: checkout
if: github.ref != 'refs/heads/main'
if: ${{ github.event.number > 0 }}
run: |
gh pr checkout ${{ github.event.number }}
Expand Down
2 changes: 2 additions & 0 deletions .semgrepignore
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
# Common large paths
vendor/

0 comments on commit ece1d19

Please sign in to comment.