use TIMING_SECRET; check if secret variables are missing

buildjob

@@ -39,7 +39,13 @@ fi
 # maybe submit timing information
 if [[ -n "$TIMING_CONF" ]]; then
     echo_color "$BOLDGREEN" "[buildjob] Submitting timing information to coq-speed"
+    # check if we have the secret
+    if [[ -z "$TIMING_SECRET" ]]; then
+        echo_color "$BOLDRED" "[buildjob] TIMING_SECRET variable is missing"
+    fi
+    # Submit to webhook endpoint
     curl --fail -X POST https://coq-speed.mpi-sws.org/webhook/build_times \
+         --user "$TIMING_SECRET"
          -H "X-Commit: $CI_COMMIT_SHA" \
          -H "X-Project: $TIMING_PROJECT" \
          -H "X-Branch: $CI_COMMIT_REF_NAME" \
@@ -51,6 +57,10 @@ fi
 # maybe create opam package
 if [[ -n "$OPAM_PKG" && "$CI_COMMIT_REF_NAME" == "$MAIN_BRANCH" ]]; then
     echo_color "$BOLDGREEN" "[buildjob] Releasing package on opam"
+    # check if we have the secret
+    if [[ -z "$OPAM_UPDATE_SECRET" ]]; then
+        echo_color "$BOLDRED" "[buildjob] OPAM_UPDATE_SECRET variable is missing"
+    fi
     # determine package name prefix
     if [[ "$CI_COMMIT_REF_NAME" == master ]]; then
         OPAM_PKG_PREFIX=dev