Giters

stateright / stateright

A model checker for implementing distributed systems.

Home Page:https://docs.rs/stateright

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Enable `cargo clippy` in CI

HaoYang670 opened this issue · comments

commented

Integrate cargo clippy and cargo fmt in CI.