Commit c92c8226 authored by Adrian Sutton's avatar Adrian Sutton Committed by GitHub

proofs-tools: Update asterisc (#12492)

parent 3f65402a
...@@ -208,7 +208,7 @@ target "proofs-tools" { ...@@ -208,7 +208,7 @@ target "proofs-tools" {
args = { args = {
CHALLENGER_VERSION="e7085e537b4a0c95d41b048cfcfdd7ad24808337" CHALLENGER_VERSION="e7085e537b4a0c95d41b048cfcfdd7ad24808337"
KONA_VERSION="kona-client-v0.1.0-alpha.3" KONA_VERSION="kona-client-v0.1.0-alpha.3"
ASTERISC_VERSION="v1.0.2" ASTERISC_VERSION="v1.0.3-alpha1"
} }
target="proofs-tools" target="proofs-tools"
platforms = split(",", PLATFORMS) platforms = split(",", PLATFORMS)
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment