fix: broken references to mk_add and mk_mul #291

Sign in to view logs

Triggered via pull request July 24, 2023 23:27

opened #144

fix-no-smt-add

Status Success

Total duration 7m 19s

Artifacts –

test.yml

on: pull_request

Matrix: test