Closed philippecamacho closed 2 years ago
The CI currently throws an error related to slither. https://github.com/EspressoSystems/cape/runs/7303089403?check_suite_focus=true
cc @sveitser
The CI currently throws an error related to slither. https://github.com/EspressoSystems/cape/runs/7303089403?check_suite_focus=true
cc @sveitser