human-eval-for-solidity / run-local.sh
brunneis's picture
Add script to launch the server locally
432635b unverified
raw
history blame contribute delete
161 Bytes
#!/bin/bash
# Remove the existing Docker container if it exists
docker rm -f hess || true
docker build -t hess .
docker run --name hess --rm -p 63958:63958 hess