diff --git a/.github/workflows/nix-build.yml b/.github/workflows/nix-build.yml index 982a3001..8499455f 100644 --- a/.github/workflows/nix-build.yml +++ b/.github/workflows/nix-build.yml @@ -6,9 +6,26 @@ jobs: tests: runs-on: ubuntu-latest steps: - - uses: actions/checkout@v3 - - uses: cachix/install-nix-action@v20 - with: - nix_path: nixpkgs=channel:nixos-unstable - - uses: DeterminateSystems/magic-nix-cache-action@v2 - - run: nix-shell --run "./english_build.sh" + - 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/github-push-action@v0.5.0 + 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 +