This repository has been archived by the owner on May 4, 2024. It is now read-only.
Zoom on the map when Selecting Paths (#182) #399
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
| # use Ubuntu 22.04 & Node 18 | |
| # Seems like the documentation can not be deployed for multiple branch, but only on pushes to main. | |
| # See 5 on https://docs.github.com/en/pages/getting-started-with-github-pages/configuring-a-publishing-source-for-your-github-pages-site#creating-a-custom-github-actions-workflow-to-publish-your-site | |
| name: Build, aggregate and deploy documentations | |
| on: | |
| pull_request: | |
| push: | |
| branches: | |
| - dev | |
| - master | |
| jobs: | |
| backend: | |
| name: Build backend documentation | |
| runs-on: ubuntu-latest | |
| # Set working directory of the runner | |
| defaults: | |
| run: | |
| working-directory: backend | |
| steps: | |
| - uses: actions/checkout@v3 | |
| - name: Use Node.js | |
| uses: actions/setup-node@v3 | |
| with: | |
| node-version: 18.x | |
| - name: Install dependencies | |
| run: npm ci | |
| - name: Build documentation | |
| run: npm run doc | |
| # Fix permissions of the documentation folder (actions/upload-pages-artifact requirement) | |
| - name: Fix permissions | |
| run: | | |
| chmod -c -R +rX "./documentation/" | while read line; do | |
| echo "::warning title=Invalid file permissions automatically fixed::$line" | |
| done | |
| - name: Save backend documentation | |
| uses: actions/upload-artifact@v3 | |
| with: | |
| name: backend-documentation | |
| path: backend/documentation/ | |
| retention-days: 1 | |
| frontend: | |
| name: Build frontend documentation | |
| runs-on: ubuntu-latest | |
| # Set working directory of the runner | |
| defaults: | |
| run: | |
| working-directory: frontend | |
| steps: | |
| - uses: actions/checkout@v3 | |
| - name: Use Node.js | |
| uses: actions/setup-node@v3 | |
| with: | |
| node-version: 18.x | |
| - name: Install dependencies | |
| run: npm ci | |
| - name: Build documentation | |
| run: npm run doc | |
| # Fix permissions of the documentation folder (actions/upload-pages-artifact requirement) | |
| - name: Fix permissions | |
| run: | | |
| chmod -c -R +rX "./styleguide/" | while read line; do | |
| echo "::warning title=Invalid file permissions automatically fixed::$line" | |
| done | |
| - name: Save frontend documentation | |
| uses: actions/upload-artifact@v3 | |
| with: | |
| name: frontend-documentation | |
| path: frontend/styleguide/ | |
| retention-days: 1 | |
| aggregate: | |
| name: Aggregate documentation | |
| # Set dependency on backend job | |
| needs: [backend, frontend] | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Download a single artifact | |
| uses: actions/download-artifact@v3 | |
| - name: Show content | |
| run: ls -lha | |
| - name: Get the index page of the documentation | |
| uses: actions/checkout@v3 | |
| with: | |
| repository: DTU-SE-Group-D/doc-builder | |
| path: doc-builder | |
| - name: Reorder files | |
| run: | | |
| mkdir -p ./documentation | |
| mv -v ./doc-builder/src/index.html ./documentation/index.html | |
| mv -v ./frontend-documentation ./documentation/frontend | |
| mv -v ./backend-documentation ./documentation/backend | |
| - name: Upload documentation | |
| uses: actions/upload-pages-artifact@v2 | |
| with: | |
| path: documentation | |
| deploy: # will deploy the website to GitHub Pages only if the push is on the dev branch | |
| name: Deploy documentation | |
| runs-on: ubuntu-latest | |
| needs: [aggregate] | |
| # Grant GITHUB_TOKEN the permissions required to make a Pages deployment | |
| permissions: | |
| pages: write # to deploy to Pages | |
| id-token: write # to verify the deployment originates from an appropriate source | |
| # Deploy to the github-pages environment | |
| environment: | |
| name: github-pages | |
| url: ${{ steps.deployment.outputs.page_url }} | |
| if: github.ref == 'refs/heads/dev' | |
| steps: | |
| - name: Deploy to GitHub Pages | |
| uses: actions/deploy-pages@v2 | |
| id: deployment | |