github
/
OpenID-Connect-Java-Spring-Server
mirror of https://github.com/mitreid-connect/OpenID-Connect-Java-Spring-Server
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

DWN-51053: Added semgrep parameter

pull/1610/head
jjuaniveson 2024-03-11 11:36:27 +00:00
parent 19ceb2053c
commit 955bb6629f
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
.circleci/config.yml
View File

@ -4,7 +4,9 @@ parameters:
release: release:
type: boolean type: boolean
default: false default: false
semgrep_scan:
type: boolean
default: false
orbs: orbs:
gresham: gresham-computing/gresham-orb@5.8.0 gresham: gresham-computing/gresham-orb@5.8.0