Build docker on tags with vX.X.X or X.X.X (#838)
Build docker on tags with vX.X.X or X.X.X (#838)


GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script