Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
SoSy-Lab
SV-Comp
Verifier Archives 2020
Repository
Branches
Overview
Active
Stale
All
Stale branches
ci_check_for_empty_directories
4ed73cd7
·
add a new check into the CI for empty directories in the zip archive.
·
Nov 25, 2019
main
a75ed2e7
·
Merge branch 'cpa-seq' into 'master'
·
May 07, 2021
master
default
protected
a75ed2e7
·
Merge branch 'cpa-seq' into 'master'
·
May 07, 2021