fix CD job missing git user info

diff --git a/.github/workflows/cd.yaml b/.github/workflows/cd.yaml
index 03dcc7e..a1ae761 100644 (file)
--- a/.github/workflows/cd.yaml
+++ b/.github/workflows/cd.yaml
@@ -7,7 +7,8 @@ on:
             - master
 
 jobs:
-    release:
+    # we could try to split in 2 jobs: one for docs and one for release, but the release one needs the asset from the docs one...
+    docs_and_release:
         runs-on: ubuntu-latest
         steps:
             -   name: checkout code
@@ -29,6 +30,9 @@ jobs:
                     files: |
                         src/**
 
+            -   name: set git credentials as user triggering the build
+                uses: fregante/setup-git-user@v1
+
             # build and upload api docs
             # NB: this happens independently of releases!
             -   name: generate and upload api docs