From 65e7d7beff2547e118d243454c741533137f4551 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?St=C3=A9phane=20Brunner?= Date: Wed, 30 Oct 2024 21:12:30 +0100 Subject: [PATCH] Generation end --- .github/workflows/main.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/main.yaml b/.github/workflows/main.yaml index 7591766de4b5..df470006c011 100644 --- a/.github/workflows/main.yaml +++ b/.github/workflows/main.yaml @@ -34,7 +34,7 @@ jobs: env: PATH: /bin:/usr/bin:/usr/local/bin:/home/runner/.local/bin - REGENERATE_EXAMPLES: true + REGENERATE_EXAMPLES: 'false' steps: - name: GitHub event