add git config

deemp · Jul 11, 2023 · edf4674 · edf4674
1 parent 1228bd4
commit edf4674
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git 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
@@ -29,6 +29,7 @@ let
                   cp -r docs/book docs/dist
                 '';
               }
+              steps.configGitAsGHActions
               {
                 name = "Update docs";
                 run = ''