Push to gh pages #20
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: "Test" | |
| on: | |
| pull_request: | |
| push: | |
| jobs: | |
| tests: | |
| 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 | |