From f6d53019827f348764c0f65d2d23f3df5540819a Mon Sep 17 00:00:00 2001
From: Julie Schwartz <quark@bluespec.com>
Date: Mon, 19 Feb 2024 09:07:06 +1300
Subject: [PATCH] GitHub CI: Disable Toooba test for macos-13

until the segfault in elf_to_hex is resolved
---
 .github/workflows/build-and-test-macos.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/build-and-test-macos.yml b/.github/workflows/build-and-test-macos.yml
index 46e2f3cc..bdca9c64 100644
--- a/.github/workflows/build-and-test-macos.yml
+++ b/.github/workflows/build-and-test-macos.yml
@@ -187,6 +187,7 @@ jobs:
   test-toooba-macOS:
     name: "Test Toooba ${{ inputs.os }} ghc-${{ inputs.ghc_version }}"
     runs-on: ${{ inputs.os }}
+    if: ${{ inputs.os != 'macos-13' }}
     needs: build-macos
     steps:
       - uses: actions/checkout@v3