Closed rv-jenkins closed 1 year ago
Subsumed: https://github.com/runtimeverification/michelson-semantics/pull/368
Subsumed: https://github.com/runtimeverification/michelson-semantics/pull/368