uclid-org/uclid

upgrade SBT

polgreen opened this issue · 0 comments

polgreen commented

We need to upgrade to sbt 1.5 if we want to support apple silicon.
sbt/sbt#6187