namada icon indicating copy to clipboard operation
namada copied to clipboard

Published 20 hours ago • verified publisher icon anoma

Run `make check-abcipp` in CI

Open james-chf opened this issue 2 years ago • 0 comments

Implicitly depends on https://github.com/anoma/namada/pull/754, which adds make check-abcipp

This PR makes it so that we run make check-abcipp in CI, to ensure that code continues to compile with the abcipp feature.

james-chf avatar Nov 25 '22 13:11 james-chf