✅ v0.4.1 #50
This file contains hidden or 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
| # Simple workflow for building and deploying documentation to GitHub Pages | |
| name: Build & deploy docs | |
| on: | |
| # Runs on pushes targeting the docs folder on the main branch | |
| push: | |
| branches: ["main"] | |
| paths: ['docs/**', 'src/**'] | |
| # Allows to run this workflow manually from the Actions tab | |
| workflow_dispatch: | |
| jobs: | |
| # Build docs and deploy them to configured server | |
| deploy: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: Use Node.js | |
| uses: actions/setup-node@v4 | |
| with: | |
| node-version: '20.x' | |
| - name: Build docs | |
| run: | | |
| npm ci | |
| npm run docs:build | |
| - name: Push Build files to prod | |
| uses: burnett01/[email protected] | |
| with: | |
| switches: -avzr --delete | |
| path: docs/public/ | |
| remote_path: ${{ secrets.DEPLOY_PATH }} | |
| remote_host: ${{ secrets.DEPLOY_HOST }} | |
| remote_port: ${{ secrets.DEPLOY_PORT }} | |
| remote_user: ${{ secrets.DEPLOY_USER }} | |
| remote_key: ${{ secrets.DEPLOY_SSH_KEY }} | |
| remote_key_pass: ${{ secrets.DEPLOY_SSH_PHRASE }} |