Gitlab CI: synthesis job hot fix (!1247) · Merge requests · OpenHW Group / backup-20241120 / core-v-verif

Eclipse Webmaster requested to merge github/fork/yanicasa/pr/ci-hotfix into cva6/dev Apr 05, 2022

Created by: yanicasa

Gitlab CI yaml seems to support only integer and string types in variables keys. So when we want to define float variables we have to set them as string with quotes. Synthesis scripts don't work properly with theses quote. This PR fix it. @JeanRochCoulon

Gitlab CI: synthesis job hot fix

Merge request reports