chore: fix compiler tag in CI env docker push

This commit is contained in:
Arthur Meyre
2021-11-16 10:55:58 +01:00
parent 1b3f9aa048
commit 76272373a4

View File

@@ -120,6 +120,6 @@ wget --auth-no-challenge --header='Accept:application/octet-stream' \
err_code=$?
echo "Done."
echo "CONCRETEFHE_COMPILER_TAG=${release_tag}" >> "${COMPILER_TAG_OUTPUT_FILE}"
echo "${release_tag}" >> "${COMPILER_TAG_OUTPUT_FILE}"
exit "${err_code}"