diff --git a/.github/workflows/scripts/xilinx.sh b/.github/workflows/scripts/xilinx.sh index ee96ecfa..f8570eef 100755 --- a/.github/workflows/scripts/xilinx.sh +++ b/.github/workflows/scripts/xilinx.sh @@ -56,6 +56,8 @@ echo "----------------------------------------" # Create a tunnel to the server which has the Xilinx licenses and port forward # them. +echo "xilinx secret" +echo $GHA_SSH_TUNNEL_CONFIG_SECRET_NAME if [[ ! -z "$GHA_SSH_TUNNEL_CONFIG_SECRET_NAME" ]]; then echo