Tobias Pflug fc0eb02ffe Run hydra-dev-server ...

Execute hydra-dev-server instead of hydra-server

Co-authored-by: Graham Christensen <graham@grahamc.com>

2020-05-15 12:37:16 +02:00

..

start-evaluator.sh

Use custom ports for postgres/hydra

2020-05-15 12:37:16 +02:00

start-hydra.sh

Run hydra-dev-server

2020-05-15 12:37:16 +02:00

start-postgres.sh

Use custom ports for postgres/hydra

2020-05-15 12:37:16 +02:00

start-queue-runner.sh

Use custom ports for postgres/hydra

2020-05-15 12:37:16 +02:00