ci: update workflow

rome · May 2, 2023 · f77bf9c · f77bf9c
1 parent da16ed3
commit f77bf9c
Showing 1 changed file with 3 additions and 1 deletion.
diff --git 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