Update overlay revision

jerboaa · Aug 17, 2023 · 8109369 · 8109369
1 parent 219e1f6
commit 8109369
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/graal-common.json b/graal-common.json
@@ -1,6 +1,6 @@
 {
   "README": "This file contains definitions that are useful for the jsonnet CI files of the graal and graal-enterprise repositories.",
   "ci": {
-    "overlay": "caeb7fc170b36ed926bef9a9b4aefe82779db376"
+    "overlay": "f85c63d782782fc566bd661a1d638f8f9bb65b2e"
   }
 }