From 113120a86010c361851f2571f8f31944be41f97c Mon Sep 17 00:00:00 2001 From: abejgonzalez Date: Mon, 5 Dec 2022 23:39:29 -0800 Subject: [PATCH] Skip SSH setup in Vitis CI --- .github/scripts/run-linux-poweroff-vitis.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/scripts/run-linux-poweroff-vitis.py b/.github/scripts/run-linux-poweroff-vitis.py index 1d76f30a94..099419851f 100755 --- a/.github/scripts/run-linux-poweroff-vitis.py +++ b/.github/scripts/run-linux-poweroff-vitis.py @@ -16,7 +16,7 @@ def run_linux_poweroff_vitis(): with prefix(f"cd {ci_env['GITHUB_WORKSPACE']}"): run("./build-setup.sh --skip-validate") - with prefix('source sourceme-f1-manager.sh'): + with prefix('source sourceme-f1-manager.sh --skip-ssh-setup'): # avoid logging excessive amounts to prevent GH-A masking secrets (which slows down log output) with prefix('cd sw/firesim-software'): run("./init-submodules.sh")