Do less work generating documentation

elliotgoodrich · Jul 3, 2024 · e8d5dc2 · e8d5dc2
1 parent 42295d6
commit e8d5dc2
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.github/workflows/documentation.yaml b/.github/workflows/documentation.yaml
@@ -24,7 +24,6 @@ jobs:
     - uses: seanmiddleditch/gha-setup-ninja@master
     - run: cd configure && npm ci
     - run: npm run configure
-    - run: ninja 
     - run: ninja -k 0 prep-for-docs
     - run: npm run docs
     - uses: actions/upload-pages-artifact@v3