git actions and fix targets#7

YaphetKG wants to merge 1 commit into

mainTranslatorSRI/Benchmarks:mainfrom

github-actionTranslatorSRI/Benchmarks:github-actionCopy head branch name to clipboard