Commit 23837d02 authored by Ralf Jung's avatar Ralf Jung

fix a filename

parent a40190c5
...@@ -45,7 +45,7 @@ if [[ -n "$TIMING_CONF" ]]; then ...@@ -45,7 +45,7 @@ if [[ -n "$TIMING_CONF" ]]; then
-H "X-Branch: $CI_COMMIT_REF_NAME" \ -H "X-Branch: $CI_COMMIT_REF_NAME" \
-H "X-Config: $TIMING_CONF" \ -H "X-Config: $TIMING_CONF" \
-H "X-Date: $(git show $CI_COMMIT_SHA -s --pretty=%cI)" \ -H "X-Date: $(git show $CI_COMMIT_SHA -s --pretty=%cI)" \
--data-binary @- < build-times.txt --data-binary @- < build-time.txt
fi fi
# maybe create opam package # maybe create opam package
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment