search

runtimeverification / kasmer-multiversx

Wasm semantics for the Elrond/MultiversX blockchain network
BSD 3-Clause "New" or "Revised" License
0 stars 0 forks source link

Adjust `run-proofs.yml` to use `kasmerx` #138

Closed tothtamas28 closed 3 months ago

tothtamas28 commented 3 months ago

Run kasmerx build and kasmerx verify in run-proofs.yml.

tothtamas28 commented 3 months ago

Workflow run: https://github.com/runtimeverification/mx-backend/actions/runs/9316555583/job/25645062453