diff --git a/.github/workflows/nix-build.yml b/.github/workflows/nix-build.yml index e577afd0..3ebad7d8 100644 --- a/.github/workflows/nix-build.yml +++ b/.github/workflows/nix-build.yml @@ -15,17 +15,6 @@ on: jobs: # Runs when we create or update a PR - 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" - - # Runs when we merge a PR build: runs-on: ubuntu-latest steps: @@ -35,6 +24,18 @@ jobs: nix_path: nixpkgs=channel:nixos-unstable - uses: DeterminateSystems/magic-nix-cache-action@v2 - run: nix-shell --run "./english_build.sh" + - 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 #jobs: # tests: