From 0617f97a9e1a77bba54b6643235fef0d1909ed3a Mon Sep 17 00:00:00 2001 From: Tim Sutton Date: Sat, 16 Dec 2023 20:10:03 +0200 Subject: [PATCH] Push to gh pages --- .github/workflows/nix-build.yml | 59 +++++++++++++++++++-------------- 1 file changed, 35 insertions(+), 24 deletions(-) diff --git a/.github/workflows/nix-build.yml b/.github/workflows/nix-build.yml index a1d01ccd..5e248d99 100644 --- a/.github/workflows/nix-build.yml +++ b/.github/workflows/nix-build.yml @@ -1,5 +1,6 @@ name: 📖 Documentation on: + pull_request: push: branches: - main @@ -13,30 +14,40 @@ on: 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 Cache - uses: DeterminateSystems/magic-nix-cache-action@v2 - - name: Build docs - 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 + - 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" + + +#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 Cache +# uses: DeterminateSystems/magic-nix-cache-action@v2 +# - 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