Replace gh script with a curl+jq command from @jaybosamiya,

since gh wants an auth token.

.github/workflows/verus.yml

@@ -21,26 +21,8 @@ jobs:
           rustup install 1.79.0-x86_64-unknown-linux-gnu
 
       - name: Get latest Verus release
-        env:
-          GH_TOKEN: $${{ github.token }}
         run: |
-          REPO="verus-lang/verus"
-          # Determine tag of latest release.
-          function latest_release_tag() {
-              gh release list \
-                  --repo "${REPO}" \
-                  --limit 1 \
-                  --json tagName \
-                  --template '{{range .}}{{.tagName}}{{end}}'
-          }
-          tag=$(latest_release_tag)
-
-          # Download the x86 Linux package.
-          gh release download \
-              --repo "${REPO}" \
-              "${tag}" \
-              --pattern '*-x86-linux.zip' \
-              --output "verus.zip"
+          curl -s https://api.github.com/repos/verus-lang/verus/releases | jq -r '.[].assets.[].browser_download_url' | grep x86-linux
 
       - name: run Verus
         working-directory: ./tasks