Repository navigation
Remove unused features from guide configuration #6
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: guide | |
| on: | |
| push: | |
| branches: [main] | |
| paths: | |
| - "guide/**" | |
| - ".github/workflows/guide.yml" | |
| workflow_dispatch: | |
| permissions: | |
| contents: read | |
| pages: write | |
| id-token: write | |
| jobs: | |
| build: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v7 | |
| - name: Configure GitHub Pages | |
| uses: actions/configure-pages@v5 | |
| - name: Install Nicolino | |
| run: | | |
| wget https://github.com/ralsina/nicolino/releases/latest/download/nicolino-static-linux-amd64 | |
| chmod +x nicolino-static-linux-amd64 | |
| sudo mv nicolino-static-linux-amd64 /usr/local/bin/nicolino | |
| - name: Build manual | |
| working-directory: guide | |
| run: | | |
| nicolino theme install papermod | |
| nicolino build -B -p | |
| - name: Upload Pages artifact | |
| uses: actions/upload-pages-artifact@v5 | |
| with: | |
| path: guide/output | |
| deploy: | |
| needs: build | |
| runs-on: ubuntu-latest | |
| environment: | |
| name: github-pages | |
| url: ${{ steps.deployment.outputs.page_url }} | |
| steps: | |
| - name: Deploy to GitHub Pages | |
| id: deployment | |
| uses: actions/deploy-pages@v5 |