diff options
author | Fabian Meumertzheim <fabian@meumertzhe.im> | 2023-06-05 12:19:46 +0200 |
---|---|---|
committer | Fabian Meumertzheim <fabian@meumertzhe.im> | 2023-06-05 12:40:38 +0200 |
commit | b12d1ea863b336b120e192700ac11c9744af6cfd (patch) | |
tree | dcb0335c5f940dce0db5c90985894d26470dcede | |
parent | d8c7659a8ad7fa8417a12ab8b682eccb1354f574 (diff) | |
download | jazzer-api-b12d1ea863b336b120e192700ac11c9744af6cfd.tar.gz |
deploy: Prepare release v0.17.1
-rw-r--r-- | maven.bzl | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -14,7 +14,7 @@ load("@rules_jvm_external//:specs.bzl", "maven") -JAZZER_VERSION = "0.17.0" +JAZZER_VERSION = "0.17.1" JAZZER_COORDINATES = "com.code-intelligence:jazzer:%s" % JAZZER_VERSION JAZZER_API_COORDINATES = "com.code-intelligence:jazzer-api:%s" % JAZZER_VERSION JAZZER_JUNIT_COORDINATES = "com.code-intelligence:jazzer-junit:%s" % JAZZER_VERSION |