Skip to content

Pull requests: apalache-mc/apalache

New pull request New
24 Open 1,818 Closed
24 Open 1,818 Closed
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
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Update sbt, scripted-plugin to 1.11.2
#3108 opened Jun 9, 2025 by scala-steward Loading…
Update compilerplugin, scalapb-runtime, ... to 0.11.18
#3106 opened Jun 7, 2025 by scala-steward Loading…
Update sbt-protoc to 1.0.8
#3105 opened Jun 7, 2025 by scala-steward Loading…
Update zio, zio-test, zio-test-sbt to 2.1.19
#3103 opened May 30, 2025 by scala-steward Loading…
Update commons-beanutils to 1.11.0
#3102 opened May 28, 2025 by scala-steward Loading…
Update easymock to 5.6.0
#3100 opened May 18, 2025 by scala-steward Loading…
Update ujson, upickle to 4.2.1
#3099 opened May 18, 2025 by scala-steward Loading…
Update pureconfig to 0.17.9
#3091 opened Apr 24, 2025 by scala-steward Loading…
1
Update zio, zio-test, zio-test-sbt to 2.1.17
#3088 opened Apr 8, 2025 by scala-steward Loading…
2
Update shapeless to 2.3.13
#3082 opened Mar 3, 2025 by scala-steward Loading…
2
Update z3-turnkey to 4.14.0
#3081 opened Feb 27, 2025 by scala-steward Loading…
Update slf4j-api to 2.0.17
#3080 opened Feb 27, 2025 by scala-steward Loading…
Update sbt-scoverage to 2.3.1
#3077 opened Feb 21, 2025 by scala-steward Loading…
Update sbt-native-packager to 1.11.1
#3072 opened Feb 5, 2025 by scala-steward Loading…
Update scalafmt-core to 3.8.6
#3071 opened Jan 24, 2025 by scala-steward Loading…
Update sbt-assembly to 2.3.1
#3070 opened Jan 20, 2025 by scala-steward Loading…
Update grpc-netty to 1.69.1
#3067 opened Jan 18, 2025 by scala-steward Loading…
Update scala-library to 2.13.16
#3066 opened Jan 16, 2025 by scala-steward Loading…
Update zio, zio-test, zio-test-sbt to 2.1.13
#3039 opened Nov 21, 2024 by scala-steward Loading…
1
Update pureconfig to 0.17.8
#3037 opened Nov 21, 2024 by scala-steward Loading…
1
Update zio-grpc-codegen, zio-grpc-core to 0.6.3
#3025 opened Oct 30, 2024 by scala-steward Loading…
Update scala-collection-contrib to 0.4.0
#3021 opened Oct 20, 2024 by scala-steward Loading…
Fixing context disposal vs. statistics thread
#3009 opened Sep 30, 2024 by konnov Loading…
2 tasks done
1
7
Update scala-library to 2.13.15
#3002 opened Sep 26, 2024 by scala-steward Loading…
1
ProTip! no:milestone will show everything without a milestone.