CI: Switch to Unikraft 0.20.0

shym · shym · commit 3c6571a6ae6e · 2025-10-06T15:26:53.000+02:00
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -7,7 +7,7 @@ on:
   pull_request:
 
 env:
-  UKVER: "0.18.0"
+  UKVER: "0.20.0"
   OCUKVER: "1.0.0"
   FCVER: "1.10.1"
   # OPAMVERBOSE: 3
