issues
search
fthomas
/
refined
Refinement types for Scala
MIT License
1.69k
stars
155
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Update sbt-scoverage to 2.1.0
#1280
scala-steward
closed
3 days ago
0
Update auxlib, clib, javalib, nativelib, ... to 0.5.4
#1279
scala-steward
closed
1 week ago
0
Update scalafmt-core to 3.8.2
#1278
scala-steward
closed
3 weeks ago
0
Add Adopter: Hypefactors
#1277
nguyenvietyen
opened
3 weeks ago
0
Update pureconfig-core to 0.17.7
#1276
scala-steward
closed
3 weeks ago
0
Update auxlib, clib, javalib, nativelib, ... to 0.5.3
#1275
scala-steward
closed
1 month ago
0
Update Scala Native to 0.5, revert to Scala 3.3
#1274
keynmol
closed
1 month ago
2
Update nscplugin, sbt-scala-native to 0.5.2
#1273
scala-steward
closed
1 month ago
1
Update scala3-library, ... to 3.4.2
#1272
scala-steward
closed
1 month ago
0
Update shapeless to 2.3.11
#1271
scala-steward
closed
1 month ago
0
Update sbt-typelevel-mergify to 0.7.1
#1270
scala-steward
closed
2 months ago
0
Update sbt-scoverage to 2.0.12
#1269
scala-steward
closed
2 months ago
0
Update sbt to 1.10.0
#1268
scala-steward
closed
2 months ago
0
Update scala-compiler, scala-library, ... to 2.13.14
#1267
scala-steward
closed
2 months ago
0
Update sbt-typelevel-mergify to 0.7.0
#1266
scala-steward
closed
2 months ago
0
Update scalacheck to 1.17.1
#1265
scala-steward
closed
2 months ago
0
Update nscplugin, sbt-scala-native to 0.5.1
#1264
scala-steward
closed
1 month ago
1
Update nscplugin, sbt-scala-native to 0.5.0
#1263
scala-steward
closed
2 months ago
1
Update scalafmt-core to 3.8.1
#1262
scala-steward
closed
3 months ago
0
Update scala3-library, ... to 3.4.1
#1261
scala-steward
closed
3 months ago
0
Update sbt-scalajs, scalajs-compiler, ... to 1.16.0
#1260
scala-steward
closed
3 months ago
0
Update sbt-buildinfo to 0.12.0
#1259
scala-steward
closed
3 months ago
0
Update scala3-library, ... to 3.3.3
#1258
scala-steward
closed
4 months ago
0
Update sbt-typelevel-mergify to 0.6.7
#1257
scala-steward
closed
4 months ago
0
Update scala-compiler, scala-library, ... to 2.13.13
#1256
scala-steward
closed
4 months ago
0
Update scala-compiler, scala-library, ... to 2.12.19
#1255
scala-steward
closed
4 months ago
0
Update sbt-scoverage to 2.0.11
#1254
scala-steward
closed
4 months ago
0
Update sbt to 1.9.9
#1253
scala-steward
closed
4 months ago
0
Update pureconfig-core to 0.17.6
#1252
scala-steward
closed
4 months ago
0
Update sbt-typelevel-mergify to 0.6.6
#1251
scala-steward
closed
4 months ago
0
Update sbt-scoverage to 2.0.10
#1250
scala-steward
closed
4 months ago
0
Update scalafmt-core to 3.8.0
#1249
scala-steward
closed
4 months ago
0
remove shapeless imports from initialCommands
#1248
xuwei-k
closed
4 months ago
0
Update RefType scala 3 doc
#1247
xuwei-k
closed
5 months ago
0
add `eu.timepit.refined.W` for Scala 3
#1246
xuwei-k
opened
5 months ago
0
add `BigDecimal` and `BigInt` cache in `RefineMacro`
#1245
xuwei-k
closed
5 months ago
1
Update nscplugin, sbt-scala-native, ... to 0.4.17
#1244
scala-steward
closed
5 months ago
0
Update json-path to 2.9.0
#1243
scala-steward
closed
5 months ago
0
Update pureconfig-core to 0.17.5
#1242
scala-steward
closed
5 months ago
0
Update sbt-typelevel-mergify to 0.6.5
#1241
scala-steward
closed
5 months ago
0
Update sbt-scalajs, scalajs-compiler, ... to 1.15.0
#1240
scala-steward
closed
5 months ago
0
enforce new wildcard syntax
#1239
xuwei-k
closed
6 months ago
0
Customize Mergify config
#1238
fthomas
closed
6 months ago
0
Update sbt-jmh to 0.4.7
#1237
scala-steward[bot]
closed
6 months ago
0
Update sbt-typelevel-mergify to 0.6.4
#1236
scala-steward[bot]
closed
6 months ago
0
Update sbt to 1.9.8
#1235
scala-steward[bot]
closed
6 months ago
0
Update sbt-typelevel-mergify to 0.6.3
#1234
scala-steward
closed
7 months ago
0
Provide `Ordering` if the base type has one
#1233
satorg
opened
7 months ago
0
Update scalafmt-core to 3.7.17
#1232
scala-steward
closed
7 months ago
0
Update sbt-typelevel-mergify to 0.6.2
#1231
scala-steward
closed
7 months ago
0
Next