From 2ee568a7eef56a6a6e5f8daeb488f0bcddfddbc7 Mon Sep 17 00:00:00 2001 From: Thomas Pani Date: Thu, 24 Aug 2023 12:53:15 +0200 Subject: [PATCH] Use `find` instead of `filter` Co-authored-by: Shon Feder --- quint/src/quintVerifier.ts | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/quint/src/quintVerifier.ts b/quint/src/quintVerifier.ts index 703d1fe8d..5e492310f 100644 --- a/quint/src/quintVerifier.ts +++ b/quint/src/quintVerifier.ts @@ -374,11 +374,11 @@ async function fetchApalache(): Promise> { const releases = resp.data.map((element: { tag_name: string }) => element.tag_name) const latestTaggedVersion = semver.maxSatisfying(releases, APALACHE_VERSION_TAG) // Filter release response to get dist archive asset URL - const taggedReleases = resp.data.filter( - (element: { tag_name: string }) => element.tag_name == latestTaggedVersion - ) - const tgzAssets = taggedReleases[0].assets.filter((asset: { name: string }) => asset.name == APALACHE_TGZ) - const downloadUrl = tgzAssets[0].browser_download_url + const downloadUrl = resp.data + .find((element: any) => element.tag_name == latestTaggedVersion) + ?.assets + .find((asset: any) => asset.name == APALACHE_TGZ) + ?.browser_download_url // Check if we have already downloaded this release const unpackPath = path.join(os.homedir(), '.quint', `apalache-dist-${latestTaggedVersion}`) const apalacheBinary = path.join(unpackPath, 'apalache', 'bin', 'apalache-mc')