Skip to content

Pull requests: apalache-mc/apalache

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

Update zio, zio-test, zio-test-sbt to 2.1.13
#3039 opened Nov 21, 2024 by scala-steward Loading…
Update commons-io to 2.18.0
#3038 opened Nov 21, 2024 by scala-steward Loading…
Update pureconfig to 0.17.8
#3037 opened Nov 21, 2024 by scala-steward Loading…
Update easymock to 5.5.0
#3036 opened Nov 17, 2024 by scala-steward Loading…
Update sbt-buildinfo to 0.13.1
#3033 opened Nov 9, 2024 by scala-steward Loading…
Update zio-grpc-codegen, zio-grpc-core to 0.6.3
#3025 opened Oct 30, 2024 by scala-steward Loading…
Update sbt-scoverage to 2.2.2
#3023 opened Oct 20, 2024 by scala-steward Loading…
Update scala-collection-contrib to 0.4.0
#3021 opened Oct 20, 2024 by scala-steward Loading…
Update sbt-assembly to 2.3.0
#3016 opened Oct 8, 2024 by scala-steward Loading…
Fixing context disposal vs. statistics thread
#3009 opened Sep 30, 2024 by konnov Loading…
2 tasks done
Update scala-library to 2.13.15
#3002 opened Sep 26, 2024 by scala-steward Loading…
ProTip! Add no:assignee to see everything that’s not assigned.