Release version 0.5.2 (#94) #14
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
| --- | |
| # This workflow runs when PRs are merged and tags/builds/publishes a release. | |
| # Run when PRs to main are closed. | |
| on: | |
| push: | |
| branches: | |
| - main | |
| workflow_dispatch: | |
| name: Build and publish a release | |
| jobs: | |
| build: | |
| name: Build user manual | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: cachix/install-nix-action@v30 | |
| with: | |
| github_access_token: ${{ secrets.GITHUB_TOKEN }} | |
| extra_nix_config: | | |
| extra-experimental-features = nix-command flakes | |
| accept-flake-config = true | |
| - name: Checkout code | |
| uses: actions/checkout@v4 | |
| - name: Build user manual | |
| run: | | |
| RESULT=$(nix build --no-link --print-out-paths --print-build-logs .#git-prole.user-manual) | |
| cp -r "$RESULT/share/git-prole/html-manual" git-prole-user-manual | |
| - name: Upload GitHub Pages assets | |
| uses: actions/upload-pages-artifact@v3 | |
| with: | |
| path: git-prole-user-manual/ | |
| deploy: | |
| name: Deploy to GitHub Pages | |
| runs-on: ubuntu-latest | |
| needs: build | |
| permissions: | |
| pages: write # to deploy to Pages | |
| id-token: write # to verify the deployment originates from an appropriate source | |
| environment: | |
| name: github-pages | |
| url: ${{ steps.deployment.outputs.page_url }} | |
| steps: | |
| - name: Deploy to GitHub Pages | |
| id: deployment | |
| uses: actions/deploy-pages@v4 |