From be217ca5447f5eacc72a10c8a0636264320e28cb Mon Sep 17 00:00:00 2001 From: Nicolas Vannieuwkerke Date: Wed, 3 Apr 2024 09:44:24 +0200 Subject: [PATCH] disable docs building --- .github/{workflows => disabled_workflows}/build-docs.yml | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename .github/{workflows => disabled_workflows}/build-docs.yml (100%) diff --git a/.github/workflows/build-docs.yml b/.github/disabled_workflows/build-docs.yml similarity index 100% rename from .github/workflows/build-docs.yml rename to .github/disabled_workflows/build-docs.yml