More CI work#3

woodruffw wants to merge 8 commits intomainGaloisInc/MATE:mainfrom

ww/more-ciGaloisInc/MATE:ww/more-ciCopy head branch name to clipboard