Improve extension host & dotnet service shutdown (#764) #66
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Publish documentation | |
| on: | |
| push: | |
| branches: | |
| - main | |
| jobs: | |
| publish-docs: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout git repo | |
| uses: actions/checkout@v3 | |
| - name: Read package.json | |
| id: package_json | |
| uses: zoexx/github-action-json-file-properties@release | |
| with: | |
| file_path: 'package.json' | |
| - name: Install Node and NPM | |
| uses: actions/setup-node@v3 | |
| with: | |
| node-version: ${{ fromJson(steps.package_json.outputs.volta).node }} | |
| cache: npm | |
| - name: Install and build | |
| run: | | |
| npm install | |
| npm run build | |
| - name: Build documentation | |
| run: | # need to specify --out so pages links at /{their name} instead of at /docs | |
| cd lib/platform-bible-react | |
| npm run build:docs -- --out platform-bible-react | |
| cd ../platform-bible-utils | |
| npm run build:docs -- --out platform-bible-utils | |
| cd ../papi-dts | |
| npm run build:docs -- --out papi-dts | |
| cd ../../ | |
| mkdir docs-for-pages | |
| mv lib/platform-bible-react/platform-bible-react docs-for-pages | |
| mv lib/platform-bible-utils/platform-bible-utils docs-for-pages | |
| mv lib/papi-dts/papi-dts docs-for-pages | |
| - name: Add nojekyll # needed so that HTML pages that start with _ do not cause 404 | |
| run: touch docs-for-pages/.nojekyll | |
| - name: Add landing page | |
| run: | | |
| cp .github/assets/github-pages-index.html docs-for-pages | |
| mv docs-for-pages/github-pages-index.html docs-for-pages/index.html | |
| - name: Deploy to GitHub Pages | |
| uses: JamesIves/[email protected] | |
| with: | |
| branch: github-pages | |
| folder: docs-for-pages |