Add tech specs intro #647
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
| name: publish website | |
| on: | |
| push: | |
| branches: [ main ] | |
| paths: | |
| - "**/website/**" | |
| pull_request: | |
| branches: [ main ] | |
| paths: | |
| - "**/website/**" | |
| workflow_dispatch: | |
| permissions: | |
| contents: write | |
| jobs: | |
| build_docs_job: | |
| # Prevent overlapping publishes on rapid pushes | |
| concurrency: ci-${{ github.ref }} | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v4 | |
| - name: Install dependencies | |
| run: | | |
| sudo apt-get install doxygen | |
| - name: Build the Website | |
| run: | | |
| cd website | |
| yarn install | |
| yarn run build | |
| id: build | |
| - name: Get output time | |
| run: echo "The time was ${{ steps.build.outputs.time }}" | |
| - name: Upload build artifacts for preview | |
| if: ${{ github.event_name != 'workflow_dispatch' }} | |
| uses: actions/upload-artifact@v4 | |
| with: | |
| name: website-build-preview | |
| path: website/build | |
| retention-days: 30 | |
| - name: Deploy to GitHub Pages | |
| if: ${{ github.event_name == 'push' || github.event_name == 'workflow_dispatch' }} | |
| uses: JamesIves/github-pages-deploy-action@v4 | |
| with: | |
| token: ${{ secrets.GITHUB_TOKEN }} | |
| branch: gh-pages | |
| folder: website/build | |
| target-folder: gen2 | |
| clean: true | |
| single-commit: true |