Remove Semgrep (#4351)

Remove failing Semgrep CI integration
uwcirg · Nov 22, 2023 · fba94d9 · fba94d9
1 parent f0d7583
commit fba94d9
Showing 1 changed file with 0 additions and 19 deletions.
diff --git a/.github/workflows/semgrep.yml b/.github/workflows/semgrep.yml