From 436e114cf257d908d6ad16b3591547f9134b2f49 Mon Sep 17 00:00:00 2001
From: Douglas Lowe <10961945+douglowe@users.noreply.github.com>
Date: Thu, 8 Oct 2026 16:17:23 +0100
Subject: [PATCH] move workbench docker info to correct place

---
 .github/{workflows => }/workbench-docker-version.txt | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename .github/{workflows => }/workbench-docker-version.txt (100%)

diff --git a/.github/workflows/workbench-docker-version.txt b/.github/workbench-docker-version.txt
similarity index 100%
rename from .github/workflows/workbench-docker-version.txt
rename to .github/workbench-docker-version.txt