adjust workflow

Author: ValKmjolnir

.github/workflows/godel_build.yml

@@ -15,8 +15,8 @@ jobs:
         submodules: true
     - name: Update Git Env
       run: |
-        git config user.name "$(git log -n 1 --pretty=format:%an)"
-        git config user.email "$(git log -n 1 --pretty=format:%ae)"
+        git config --global user.name "$(git log -n 1 --pretty=format:%an)"
+        git config --global user.email "$(git log -n 1 --pretty=format:%ae)"
     - name: Build
       run: |
         cd godel-script