Skip to content

Add packaging mechanism to automatically build SV-Comp zip#30

Draft
nils-loose wants to merge 13 commits into
mainfrom
dev
Draft

Add packaging mechanism to automatically build SV-Comp zip#30
nils-loose wants to merge 13 commits into
mainfrom
dev

Skip slow tests unless using 'testFull'

e4965d6
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar