Merge pull request #15175 from nouiz:nightly_ci_keep_alive

PiperOrigin-RevId: 519167122
This commit is contained in:
jax authors 2023-03-24 09:52:49 -07:00
commit 61a5686f51

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: |