Fix specifying a custom planner

This commit is contained in:
Ana Hobden 2023-07-13 08:38:42 -07:00
parent 22b6142a17
commit 13153f8246

View file

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