chore(deps): update dependency sbt/sbt to v1.12.13#4

renovate[bot] wants to merge 1 commit into

masterunibo-pps/pps-lab07:masterfrom

renovate/sbt-sbt-1.xunibo-pps/pps-lab07:renovate/sbt-sbt-1.xCopy head branch name to clipboard