From 021e0ba81b69bfca18cbc6c5c5c1e767d44b984f Mon Sep 17 00:00:00 2001
From: Geza Lore <gezalore@gmail.com>
Date: Tue, 10 Feb 2026 20:08:23 +0000
Subject: [PATCH] Testing: Bump vcddiff to latest (#7040)

---
 ci/ci-install.bash | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ci/ci-install.bash b/ci/ci-install.bash
index f8a9d526c..fe3ed6e4e 100755
--- a/ci/ci-install.bash
+++ b/ci/ci-install.bash
@@ -43,7 +43,7 @@ fi
 install-vcddiff() {
   TMP_DIR="$(mktemp -d)"
   git clone https://github.com/veripool/vcddiff "$TMP_DIR"
-  git -C "${TMP_DIR}" checkout dca845020668887fd13498c772939814d9264fd5
+  git -C "${TMP_DIR}" checkout 4db0d84a27e8f148b127e916fc71d650837955c5
   "$MAKE" -C "${TMP_DIR}"
   sudo cp "${TMP_DIR}/vcddiff" /usr/local/bin
 }