diff options
| author | Jack Koenig | 2021-09-13 20:42:27 -0700 |
|---|---|---|
| committer | GitHub | 2021-09-13 20:42:27 -0700 |
| commit | 8421e96f04831fc61ddd5efa30f0ebc84f27c596 (patch) | |
| tree | e28acb095c9e4a9fcff0f9c1856773d462aa2833 /build.sbt | |
| parent | beb5bc9850fd69adff36f38fb00a1f68bb1918fe (diff) | |
Bump Scala to 2.12.14 and 2.13.6 (#2356)
This required also bumping sbt-scalafix to bring in a newer version of
semanticdb. The new version of semanticdb had an issue with a regex in
SMTLib, fixed by fixing the way '$' is escaped in the regex.
Diffstat (limited to 'build.sbt')
| -rw-r--r-- | build.sbt | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -4,8 +4,8 @@ enablePlugins(SiteScaladocPlugin) lazy val commonSettings = Seq( organization := "edu.berkeley.cs", - scalaVersion := "2.12.13", - crossScalaVersions := Seq("2.13.4", "2.12.13") + scalaVersion := "2.12.14", + crossScalaVersions := Seq("2.13.6", "2.12.14") ) lazy val isAtLeastScala213 = Def.setting { |