Use docker-compose run instead of up to fix exit status
Use docker-compose run instead of up to fix exit status

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