CI: Switch to Unikraft 0.20.0

shym · shym · commit 8926f1bf2c00 · 2025-10-06T18:59:18.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.13.1"
   # OPAMVERBOSE: 3
