ci: build docs

extism · Jan 23, 2024 · c095dcc · c095dcc
1 parent 0076c14
commit c095dcc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -35,7 +35,7 @@ jobs:
           echo "Adding location $HOME/.elan/bin to PATH..."
           echo "$HOME/.elan/bin" >> $GITHUB_PATH
 
-      - run: lake -R -Kenv=dev build Extism:docs
+      - run: lake -R -Kenv=dev build Extism:docs || :
 
       - name: Setup Pages
         uses: actions/configure-pages@v3