fix: PR comments

This commit is contained in:
Hugo Larcher 2025-01-30 09:42:31 +01:00
parent c9067176c3
commit 68c31ca939
No known key found for this signature in database
GPG Key ID: 3DAF63124699CA2B

View File

@ -76,7 +76,7 @@ jobs:
export extra_pytest="" export extra_pytest=""
if [[ "${GITHUB_REF}" == "refs/tags/*" ]]; then if [[ "${GITHUB_REF}" == "refs/tags/*" ]]; then
export build_type="release"; export build_type="release";
export target="nil"; export target="";
else else
export build_type="dev"; export build_type="dev";
export target="ci-runtime"; export target="ci-runtime";