net9 sdk is NOT YET installed by default
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index a740507..1e953b6 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -312,9 +312,11 @@
sudo apt-get install -y --no-install-recommends curl openssl ca-certificates
# the sdk is installed by default, but keep this step for reference
-# - name: Set up .NET SDK
-# run: |
-# sudo apt-get install -y --no-install-recommends dotnet-sdk-9.0
+# caveat: net9 is (currently?) NOT installed, so manually again
+ - name: Set up .NET SDK
+ run: |
+ sudo apt-get install -y --no-install-recommends dotnet-sdk-9.0
+# end
- name: Run bootstrap
run: ./bootstrap.sh