9a40872 Merge branch 'CI_fix' of https://github.com/efabless/caravel_user_project into CI_fix

Merged and Committed by Ahmed El Omla 2 years ago
    Merge branch 'CI_fix' of https://github.com/efabless/caravel_user_project into CI_fix