diff --git a/.github/workflows/Pipeline.yml b/.github/workflows/Pipeline.yml index 4bb79f2a..4fab5215 100644 --- a/.github/workflows/Pipeline.yml +++ b/.github/workflows/Pipeline.yml @@ -61,6 +61,8 @@ jobs: - name: Xilinx Setup run: .github/workflows/scripts/xilinx.sh + env: + USE_LICENSE_SERVER: "true" - name: Build run: make build --output-sync=target --warn-undefined-variables -j$(nproc) diff --git a/.github/workflows/scripts/xilinx.sh b/.github/workflows/scripts/xilinx.sh index f8570eef..4f543db0 100755 --- a/.github/workflows/scripts/xilinx.sh +++ b/.github/workflows/scripts/xilinx.sh @@ -58,7 +58,7 @@ echo "----------------------------------------" # them. echo "xilinx secret" echo $GHA_SSH_TUNNEL_CONFIG_SECRET_NAME -if [[ ! -z "$GHA_SSH_TUNNEL_CONFIG_SECRET_NAME" ]]; then +if [[ ! -z "$USE_LICENSE_SERVER" ]]; then echo echo "Xilinx license server ssh key found, checking the license"