Merge pull request #6435 from urbit/ci-fix-nk-prs

ci: fix prs from `next/kelvin/*`
This commit is contained in:
Matthew LeVan 2023-03-28 15:40:04 -04:00 committed by GitHub
commit c78067209a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -78,9 +78,12 @@ jobs:
name: run urbit-tests name: run urbit-tests
run: | run: |
cp -RL tests pkg/arvo/tests cp -RL tests pkg/arvo/tests
if [[ ${{ inputs.next }} == "next/kelvin/"* || ${{ github.ref }} == "next/kelvin/"* ]]; then if [[ ${{ inputs.next }} == "next/kelvin/"* ]]; then
next=$(echo ${{ inputs.next }} | sed 's/[^0-9]//g') next=$(echo ${{ inputs.next }} | sed 's/[^0-9]//g')
base="https://bootstrap.urbit.org/vere/next/kelvin/${next}" base="https://bootstrap.urbit.org/vere/next/kelvin/${next}"
elif [[ ${{ github.ref }} == "next/kelvin"* ]]; then
next=$(echo ${{ github.ref }} | sed 's/[^0-9]//g')
base="https://bootstrap.urbit.org/vere/next/kelvin/${next}"
else else
base="https://bootstrap.urbit.org/vere/${{ inputs.pace }}" base="https://bootstrap.urbit.org/vere/${{ inputs.pace }}"
fi fi