CI: Add GitHub to known_hosts

2023-08-08 16:01:56 -07:00 · 2023-08-08 16:01:56 -07:00 · 226b834faf
parent 81811be1b7
commit 226b834faf
1 changed files with 1 additions and 0 deletions
--- a/hack/jenkins/cron/cleanup_and_reboot_Linux.sh
+++ b/hack/jenkins/cron/cleanup_and_reboot_Linux.sh
@ -54,6 +54,7 @@ function cleanup() {
 		# clear the known_host file (~/.ssh/known_hosts)
 		if test -f /home/${user}/.ssh/known_hosts; then
 			sudo echo "" > /home/${user}/.ssh/known_hosts
+			ssh-keyscan github.com >>~/.ssh/known_hosts
 		fi
 	done
 	# clean docker left overs