Closed valeriocos closed 4 years ago
This code uses the backend name to initialize the directory where the git repo will be cloned. This change is need to allow Graal to clone the same repo (that could be used by different backends) in different local paths.
Graal version is now 0.5.4
Related to #86
LGTM
This code uses the backend name to initialize the directory where the git repo will be cloned. This change is need to allow Graal to clone the same repo (that could be used by different backends) in different local paths.
Graal version is now 0.5.4
Related to #86