Merge pull request #35 from DeterminateSystems/fix-custom-planner

Fix specifying a custom planner
This commit is contained in:
Ana Hobden 2023-07-13 10:07:27 -07:00 committed by GitHub
commit 37c0d0291e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -311,14 +311,21 @@ runs:
export NIX_INSTALLER_NO_CONFIRM=true
echo "Set NIX_INSTALLER_NO_CONFIRM=$NIX_INSTALLER_NO_CONFIRM"
if [ -n "${{ inputs.planner }}" ]; then
export PLANNER="${{ inputs.planner }}"
echo "Set PLANNER=$PLANNER"
else
if [ "${RUNNER_OS}" == "Linux" ]; then
export PLANNER="linux"
echo "Set PLANNER=$PLANNER (Default)"
elif [ "${RUNNER_OS}" == "macOS" ]; then
export PLANNER="macos"
echo "Set PLANNER=$PLANNER (Default)"
else
echo "${RUNNER_OS} not supported"
exit 1
fi
fi
curl --retry 20 -L $NIX_INSTALLER_URL | sh -s -- install ${PLANNER} ${{ inputs.extra-args }}