Push to gh pages #23
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
| name: 📖 Documentation | ||
| on: | ||
| push: | ||
| branches: | ||
| - main | ||
| - docs | ||
| # Paths can be used to only trigger actions when you have edited certain files, such as a file within the /docs directory | ||
| paths: | ||
| - ".github/workflows/nix-build.yml" | ||
| - "docs/**" | ||
| # Allow manually running in the actions tab | ||
| workflow_dispatch: | ||
| jobs: | ||
| tests: | ||
| name: Deploy docs | ||
| runs-on: ubuntu-latest | ||
| steps: | ||
| - name: Checkout docs | ||
| uses: actions/checkout@v3 | ||
| - name: Setup Nix | ||
| uses: cachix/install-nix-action@v20 | ||
| with: | ||
| nix_path: nixpkgs=channel:nixos-unstable | ||
| - name: Nix shell | ||
| uses: DeterminateSystems/magic-nix-cache-action@v2 | ||
| run: nix-shell --run "./english_build.sh" | ||
| - name: Deploy docs to github pages | ||
| uses: ad-m/[email protected] | ||
| with: | ||
| # Token for the repo | ||
| # Can be passed in using $\{{ secrets.GITHUB_TOKEN }} | ||
| github_token: ${{ secrets.GITHUB_TOKEN }} | ||
| # Destination branch to push changes | ||
| branch: gh-pages | ||
| # Use force push to fully overwrite the destination branch | ||
| force: true | ||
| # We have to push from the folder where files were generated. | ||
| # Same were the new repo was initialized in the previous step | ||
| directory: ./docs/en | ||
