temp remove docker build#13

bjjwwang wants to merge 1 commit intoSVF-tools:mainSVF-tools/Software-Security-Analysis:mainfrom

bjjwwang:0620-publicbjjwwang/Software-Security-Analysis-2:0620-publicCopy head branch name to clipboard