Console Output

+ cd microrv32
+ sbt run
/var/jenkins_home/workspace/microrv32/microrv32@tmp/durable-2a4f2e01/script.sh.copy: 1: sbt: Permission denied