From 928536a2d7b78a9e110538d53077385dfecef315 Mon Sep 17 00:00:00 2001
From: Iain Learmonth <irl@sr2.uk>
Date: Tue, 15 Nov 2022 14:40:48 +0000
Subject: [PATCH] ci: disable metrics during docs build

---
 .gitlab-ci.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 82b3f9f..30cdde4 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -67,8 +67,8 @@ pages:
     - apt update && apt install build-essential
     - pip install -r requirements.txt
     - pip install -U sphinx sphinx-press-theme sphinx-jsonschema
-    - pushd scripts && python update_schemas.py && popd
-    - pushd docs && sphinx-build -b html . ../public && popd
+    - pushd scripts && DISABLE_METRICS=true python update_schemas.py && popd
+    - pushd docs && DISABLE_METRICS=true sphinx-build -b html . ../public && popd
   artifacts:
     paths:
     - public