search

runtimeverification / mx-semantics

7 stars 3 forks source link

Update dependency: deps/kwasm_release #282

Closed rv-jenkins closed 3 months ago

tothtamas28 commented 3 months ago

@Baltoli, there's a Nix (probably poetry2nix) issue during build, can you check? https://github.com/runtimeverification/mx-semantics/actions/runs/9447610840/job/26019798079?pr=282#step:4:1362