From 4f4b0a002299e8e586f59e8bb901959a12a387c4 Mon Sep 17 00:00:00 2001
From: Alex Beregszaszi <alex@rtfs.hu>
Date: Mon, 20 Jun 2022 17:59:28 +0200
Subject: [PATCH 1/2] circleci: Check for successful installation of wast2json

---
 circle.yml | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/circle.yml b/circle.yml
index 9f17d9eb8..c5e81e28e 100644
--- a/circle.yml
+++ b/circle.yml
@@ -36,13 +36,12 @@ commands:
       - run:
           name: "Install WABT tools"
           command: |
-            if type wast2json; then
-              wast2json --version
-            else
+            if ! type wast2json; then
               [[ $OSTYPE = darwin* ]] && os=macos || os=ubuntu
               cd /usr/local
               curl -L https://github.com/WebAssembly/wabt/releases/download/1.0.20/wabt-1.0.20-$os.tar.gz | sudo tar xz --strip 1
             fi
+            wast2json --version
 
   install_testfloat:
     description: "Install TestFloat test suite tools"

From e0e7b428991af3884e6d6ed132a771036623b98c Mon Sep 17 00:00:00 2001
From: Alex Beregszaszi <alex@rtfs.hu>
Date: Mon, 20 Jun 2022 17:39:55 +0200
Subject: [PATCH 2/2] circleci: Disable spectests for arm64-native

---
 circle.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/circle.yml b/circle.yml
index c5e81e28e..8dd75006f 100644
--- a/circle.yml
+++ b/circle.yml
@@ -532,7 +532,7 @@ jobs:
       - test
       - benchmark:
           min_time: "0.01"
-      - spectest
+      # TODO: Enable spectests
 
   benchmark:
     machine: