Skip to content

Merge pull request #2854 from informalsystems/update-sbt #656

Merge pull request #2854 from informalsystems/update-sbt

Merge pull request #2854 from informalsystems/update-sbt #656

Auto-update

succeeded Mar 7, 2024 in 3s