tree 9cdf540eac3eb10dc1487e0ac7394dbb16e3fe11
parent 1766544c2c52186dbef181445eb8a6bab4d707a2
author manarabdelaty <manarabdelatty@aucegypt.edu> 1618855554 +0200
committer manarabdelaty <manarabdelatty@aucegypt.edu> 1618855554 +0200

[CI] update precheck scripts to pass CARAVEL_ROOT