CI security

replicating project-everest/everparse@46981d5

.docker/build/build-standalone.sh

@@ -14,4 +14,11 @@ rootPath=$(pwd)
 export_home KRML "$rootPath"
 result_file="result.txt"
 out_file="log.txt"
-{ { { { { { exec_build ; } 3>&1 1>&2 2>&3 ; } | sed -u 's!^![STDERR]!' ; } 3>&1 1>&2 2>&3 ; } | sed -u 's!^![STDOUT]!' ; } 2>&1 ; } | awk '{ print strftime("[%Y-%m-%d %H:%M:%S]"), $0 }' | tee $out_file
+remove_credentials () {
+    if [[ -n "$DZOMO_GITHUB_TOKEN" ]] ; then
+        sed "s!$DZOMO_GITHUB_TOKEN!!g"
+    else
+        cat
+    fi
+}
+{ { { { { { exec_build ; } 3>&1 1>&2 2>&3 ; } | sed -u 's!^![STDERR]!' ; } 3>&1 1>&2 2>&3 ; } | sed -u 's!^![STDOUT]!' ; } 2>&1 ; } | awk '{ print strftime("[%Y-%m-%d %H:%M:%S]"), $0 }' | remove_credentials | tee $out_file