From 5d1b3f9fa76623a3f1cc3c3e299b227cdc66f9d2 Mon Sep 17 00:00:00 2001
From: Mads Marquart <mads@marquart.dk>
Date: Tue, 1 Mar 2022 09:48:51 +0100
Subject: [PATCH] Fix cargo dinghy build

---
 .github/workflows/ci.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index d57fdef8a..a3496915b 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -351,10 +351,12 @@ jobs:
         xcrun simctl boot $SIM_ID
 
         # Build
-        cargo dinghy build
+        cargo dinghy --device=$SIM_ID build
 
         # Run tests
         cargo dinghy --device=$SIM_ID test --no-default-features
+        cargo dinghy --device=$SIM_ID test --release
+
         # Enable a few features. We're doing it this way because cargo dingy
         # doesn't support specifying features from a workspace.
         sed -i -e '/\[features\]/a\