diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index 9cfd13b0..ecc7320a 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -84,8 +84,11 @@ jobs: nix profile install .#genDocs nix run .#genDocs - cp -r docs/book docs/dist + - name: Config git for github-actions + run: | + git config user.name github-actions + git config user.email github-actions@github.com - name: Update docs run: | git add "docs/src" diff --git a/nix-files/workflow.nix b/nix-files/workflow.nix index 7cdbcb90..84346492 100644 --- a/nix-files/workflow.nix +++ b/nix-files/workflow.nix @@ -29,6 +29,7 @@ let cp -r docs/book docs/dist ''; } + steps.configGitAsGHActions { name = "Update docs"; run = ''