From f77bf9c550c9800f6ef9009c216138cb380b1b7d Mon Sep 17 00:00:00 2001
From: Emanuele Stoppa <my.burning@gmail.com>
Date: Tue, 2 May 2023 18:09:14 +0100
Subject: [PATCH] ci: update workflow

---
 .github/workflows/pull_request.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/pull_request.yml b/.github/workflows/pull_request.yml
index e00ff9cec17..690165d52c1 100644
--- a/.github/workflows/pull_request.yml
+++ b/.github/workflows/pull_request.yml
@@ -160,7 +160,9 @@ jobs:
       - name: Run the bindings codegen
         run: cargo codegen-bindings
       - name: Run the website codegen
-        run: cargo lintdoc
+        run: |
+          cargo lintdoc
+          cargo codegen-website
       - name: Check for git diff
         run: |
           if [[ `git status --porcelain` ]]; then