Skip to content
GitLab
Explore
Sign in
Admin message
This service uses cookies for its essential functionality. Read the
privacy policy (german)
SATAn
SAT solver ANalyser
Repository
Branches
Overview
Active
Stale
All
Stale branches
set-sast-config-1
d94994c0
·
Configure SAST in `.gitlab-ci.yml`, creating this file if it does not already exist
·
May 26, 2023
!1
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
main
default
protected
8ca076b0
·
Update .gitlab-ci.yml file
·
Jun 07, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar