diff --git a/.github/workflows/devnet-deploys.yml b/.github/workflows/devnet-deploys.yml index dbef40e75feb..71bf5acf82f2 100644 --- a/.github/workflows/devnet-deploys.yml +++ b/.github/workflows/devnet-deploys.yml @@ -156,8 +156,8 @@ jobs: echo "branch_name=provernet" >> $GITHUB_OUTPUT echo "network_api_key=PROVERNET_API_KEY" >> $GITHUB_OUTPUT echo "network_public_api_key=PROVERNET_PUBLIC_API_KEY" >> $GITHUB_OUTPUT - echo "agents_per_prover=8" >> $GITHUB_OUTPUT - echo "bot_interval=10" >> $GITHUB_OUTPUT + echo "agents_per_prover=4" >> $GITHUB_OUTPUT + echo "bot_interval=300" >> $GITHUB_OUTPUT echo "node_tcp_range_start=40200" >> $GITHUB_OUTPUT echo "node_udp_range_start=45200" >> $GITHUB_OUTPUT echo "prover_node_tcp_range_start=41200" >> $GITHUB_OUTPUT