Devtools build fix#1795

jaybuidl merged 1 commit intodevkleros/kleros-v2:devfrom

chore/devtools-build-fixkleros/kleros-v2:chore/devtools-build-fixCopy head branch name to clipboard