Use released urbit binaries

.github/workflows/shared.yml

@@ -79,4 +79,20 @@ jobs:
       - if: ${{ matrix.os == 'ubuntu-latest' }}
         name: run urbit-tests
         run: |
+          if [[ "${{ inputs.next }}" == "next/kelvin/"* ]]; then
+            next=$(echo ${{ inputs.next }} | sed 's/[^0-9]//g')
+            base="https://bootstrap.urbit.org/vere/next/kelvin/${next}"
+          elif [[ "${{ github.head_ref }}" == "next/kelvin"* ]]; then
+            next=$(echo ${{ github.head_ref }} | sed 's/[^0-9]//g')
+            base="https://bootstrap.urbit.org/vere/next/kelvin/${next}"
+          else
+            base="https://bootstrap.urbit.org/vere/${{ inputs.pace }}"
+          fi
+          vere=$(curl ${base}/last)
+          url="$(echo ${base}/v${vere}/vere-v${vere}-linux-x86_64)"
+          echo $vere
+          echo $url
+          curl -Lo urbit "$url"
+          chmod +x urbit
+
           nix flake check --keep-build-log -L

flake.nix

@@ -18,7 +18,7 @@
         pkgs = import nixpkgs { inherit system; };
         bootFakeShip = { pill, arvo }:
           pkgs.runCommand "fake-pier" { } ''
-            ${pkgs.urbit}/bin/urbit --pier $out -F zod -B ${pill} -l -x -t -A ${arvo}
+            ${./urbit} --pier $out -F zod -B ${pill} -l -x -t -A ${arvo}
           '';
         fakePier = bootFakeShip {
           pill = ./bin/solid.pill;
@@ -48,7 +48,7 @@
           pkgs.runCommand ("${pill}.pill") { buildInputs = [ pkgs.netcat ]; } ''
             cp -r ${fakePier} pier
             chmod +w -R pier
-            ${pkgs.urbit}/bin/urbit -d pier
+            ${./urbit} -d pier
             ${usableTools}/pkg/click/click -k -p -i ${buildPillThread pill} pier
 
             # Sleep to let urbit spin down properly