From 22a3651e077072508ac743dd2986eaaa646d6582 Mon Sep 17 00:00:00 2001 From: Tyler Gu Date: Sat, 25 Nov 2023 18:02:39 -0600 Subject: [PATCH] Fix Signed-off-by: Tyler Gu --- data/anvil-zookeeper-operator/context.json | 2 +- data/anvil-zookeeper-operator/operator-crash.yaml | 2 +- data/anvil-zookeeper-operator/operator.yaml | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/data/anvil-zookeeper-operator/context.json b/data/anvil-zookeeper-operator/context.json index 6891b1bd3..9f5576c7b 100644 --- a/data/anvil-zookeeper-operator/context.json +++ b/data/anvil-zookeeper-operator/context.json @@ -1006,7 +1006,7 @@ "namespace": "zookeeper", "preload_images": [ "docker.io/pravega/zookeeper:0.2.14", - "ghcr.io/vmware-research/verifiable-controllers/zookeeper-controller:77b041d7b76bf8e98acfd487a9db58192b2b375b" + "ghcr.io/vmware-research/verifiable-controllers/zookeeper-controller:df7021d160486c114686e5b787a406abaafc9f90" ], "static_analysis_time": 6.9141387939453125e-06 } \ No newline at end of file diff --git a/data/anvil-zookeeper-operator/operator-crash.yaml b/data/anvil-zookeeper-operator/operator-crash.yaml index 226eaefa6..7bd381c91 100644 --- a/data/anvil-zookeeper-operator/operator-crash.yaml +++ b/data/anvil-zookeeper-operator/operator-crash.yaml @@ -786,7 +786,7 @@ spec: app.kubernetes.io/name: zookeeper-controller spec: containers: - - image: ghcr.io/vmware-research/verifiable-controllers/zookeeper-controller:77b041d7b76bf8e98acfd487a9db58192b2b375b + - image: ghcr.io/vmware-research/verifiable-controllers/zookeeper-controller:df7021d160486c114686e5b787a406abaafc9f90 name: controller command: - /usr/local/bin/controller diff --git a/data/anvil-zookeeper-operator/operator.yaml b/data/anvil-zookeeper-operator/operator.yaml index 2d288dc52..c925c9444 100644 --- a/data/anvil-zookeeper-operator/operator.yaml +++ b/data/anvil-zookeeper-operator/operator.yaml @@ -792,6 +792,6 @@ spec: app.kubernetes.io/name: zookeeper-controller spec: containers: - - image: ghcr.io/vmware-research/verifiable-controllers/zookeeper-controller:77b041d7b76bf8e98acfd487a9db58192b2b375b + - image: ghcr.io/vmware-research/verifiable-controllers/zookeeper-controller:df7021d160486c114686e5b787a406abaafc9f90 name: controller serviceAccountName: zookeeper-controller \ No newline at end of file