WAR ssh timeout like:

client_loop: send disconnect: Broken pipe
https://github.com/google/jax/actions/runs/4500333187/jobs/7919324156#step:8:42
This commit is contained in:
Frederic Bastien 2023-03-23 11:57:20 -07:00
parent befce6d2c8
commit f3be75cb53

View File

@ -60,7 +60,8 @@ jobs:
echo "Host headnode
User ${USER}
HostName ${IP}
IdentityFile ${GITHUB_WORKSPACE}/.ssh/id_rsa" > ./.ssh/config
IdentityFile ${GITHUB_WORKSPACE}/.ssh/id_rsa
ServerAliveInterval 30" > ./.ssh/config
- name: Check SLURM is working
run: |