ci: remove unused acquire_sdk.sh script

Used for getting development/fork versions of Microkit. No long necessary. Signed-off-by: Ivan-Velickovic <[email protected]>
au-ts · Nov 5, 2024 · 6ee407c · 6ee407c
1 parent ef493a6
commit 6ee407c
Showing 1 changed file with 0 additions and 56 deletions.
diff --git a/ci/acquire_sdk.sh b/ci/acquire_sdk.sh