Merge branch 'master' into develop

uwcirg · Nov 22, 2023 · 5f223ff · 5f223ff
2 parents 79ad0c1 + fba94d9
commit 5f223ff
Showing 1 changed file with 0 additions and 19 deletions.
diff --git a/.github/workflows/semgrep.yml b/.github/workflows/semgrep.yml