fix: setting Git user/email address

sdsc-ordes · Jul 5, 2024 · a26f21c · a26f21c
1 parent 6d5e553
commit a26f21c
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 1 deletion.
diff --git a/.github/workflows/normal.yaml b/.github/workflows/normal.yaml
@@ -128,7 +128,7 @@ jobs:
 
   deploy:
     runs-on: ubuntu-latest
-    needs: [format, lint, build, test]
+    # needs: [format, lint, build, test]
     container:
       image: ghcr.io/sdsc-ordes/rdf-protect:ci-nix-1.0.0
 

diff --git a/tools/ci/before-script.sh b/tools/ci/before-script.sh
@@ -14,4 +14,6 @@ ROOT_DIR=$(git rev-parse --show-toplevel)
 print_info "Current dir: '$(pwd)'"
 print_info "Running as user: $(id)"
 
+ci_setup_git
+
 unset ROOT_DIR
diff --git a/tools/general.sh b/tools/general.sh
@@ -61,6 +61,11 @@ function ci_is_release() {
     return 1
 }
 
+function ci_setup_git() {
+    git config --global user.name "SDSC CI"
+    git config --global user.email "[email protected]"
+}
+
 function ci_setup_nix() {
     local install_prefix="${1:-/usr/sbin}"