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
Branches
Overview
Active
Stale
All
main
default
protected
8ca076b0
·
Update .gitlab-ci.yml file
·
Jun 07, 2023
set-sast-config-1
d94994c0
·
Configure SAST in `.gitlab-ci.yml`, creating this file if it does not already exist
·
May 26, 2023
!1