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