Move IDA SDK out of third_party directory

PiperOrigin-RevId: 595991029 Change-Id: If6cfece8a83573c7605e2b0d25cd3316e4be6353
google · Jan 5, 2024 · f0730e4 · f0730e4
1 parent 5591588
commit f0730e4
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/.github/scripts/decrypt_secret.sh b/.github/scripts/decrypt_secret.sh
@@ -9,4 +9,4 @@ set -e
 gpg --quiet --batch --yes --decrypt \
   "--passphrase=${IDASDK_SECRET}" \
   --output "${RUNNER_WORKSPACE}/build/idasdk_teams80.zip" \
-  "${GITHUB_WORKSPACE}/third_party/idasdk_teams80.zip.gpg"
+  "${GITHUB_WORKSPACE}/ida/idasdk/idasdk_teams80.zip.gpg"
diff --git a/third_party/idasdk_teams80.zip.gpg b/third_party/idasdk_teams80.zip.gpg