Open mratsim opened 4 months ago
It would be nice to provide an action for Github Action for nph so it can be automatically checked in CI.
nph
Examples from Rust:
cargo fmt
see also nph --check
nph --check
arnetheduck
commented
4 months ago arnetheduck
commented
4 months ago
It would be nice to provide an action for Github Action for
nphso it can be automatically checked in CI.Examples from Rust:
cargo fmt: https://github.com/privacy-scaling-explorations/halo2curves/blob/9fff22c/.github/workflows/ci.yml#L84-L97 using this action: https://github.com/actions-rs/cargo