From e638224903d31900c9c84a2d399214d4166fc65d Mon Sep 17 00:00:00 2001
From: Pierre Camilleri <22995923+pierrecamilleri@users.noreply.github.com>
Date: Wed, 26 Jun 2024 14:31:41 +0200
Subject: [PATCH] fix: generated docs name in ci

---
 .github/workflows/workflow.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/workflow.yaml b/.github/workflows/workflow.yaml
index c377252..c2961fa 100644
--- a/.github/workflows/workflow.yaml
+++ b/.github/workflows/workflow.yaml
@@ -33,4 +33,4 @@ jobs:
 
       - name: Check that documentation is up to date
         run: |
-          make generate-docs && git add ./docs/output_validator_list.md && git diff --cached --exit-code
+          make generate-docs && git add ./docs/formats.md && git diff --cached --exit-code