From 0607cf1e8b8e7e106c7c984decf9d040a3de62ff Mon Sep 17 00:00:00 2001
From: Mike Hardy <github@mikehardy.net>
Date: Fri, 18 Aug 2023 15:03:13 -0500
Subject: [PATCH] build: use API32 for robolectric until upstream API33 issue
 resolved

See: https://github.com/robolectric/robolectric/issues/8215

Remove this file when resolved
---
 AnkiDroid/src/test/resources/robolectric.properties | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 AnkiDroid/src/test/resources/robolectric.properties

diff --git a/AnkiDroid/src/test/resources/robolectric.properties b/AnkiDroid/src/test/resources/robolectric.properties
new file mode 100644
index 000000000000..8deba5fe1b18
--- /dev/null
+++ b/AnkiDroid/src/test/resources/robolectric.properties
@@ -0,0 +1,4 @@
+# Android 13 triggers robolectric issue: https://github.com/robolectric/robolectric/issues/8215
+# Temporarily lock to sdk31 until that issue is resolved, then remove this file so
+# that robolectric once again uses targetSdkVersion from AnkiDroid/build.gradle (33 currently)
+sdk=32