Open parasyte opened 1 month ago
According to the wiki, auto-crev-proofs is the "RECOMMENDED quick way to discover a lot of other users" (quoted verbatim): https://github.com/crev-dev/cargo-crev/wiki/List-of-Proof-Repositories#list-of-repositories
auto-crev-proofs
That repo appears to be unmaintained and its CI pipeline has been failing for more than three years.
According to the wiki,
auto-crev-proofsis the "RECOMMENDED quick way to discover a lot of other users" (quoted verbatim): https://github.com/crev-dev/cargo-crev/wiki/List-of-Proof-Repositories#list-of-repositoriesThat repo appears to be unmaintained and its CI pipeline has been failing for more than three years.