test what docs workflow does now

spelunky-fyi · Dec 22, 2022 · 536a39f · 536a39f
1 parent eccb5f2
commit 536a39f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build-docs.yml b/.github/workflows/build-docs.yml
@@ -37,7 +37,7 @@ jobs:
         cd docs
         chmod +x generate_all.sh
         chmod +x generate_slate.sh
-        ./generate_all.sh
+        ./generate_all.sh || true
 
     - name: Push changes
       uses: ad-m/github-push-action@master