"Setting up Echidna as a GitHub hook" wiki pages needs an update #851
Description
The Setting up Echidna as a GitHub hook could probably now point to spec-prod + new instructions.
{{ message }}
The Setting up Echidna as a GitHub hook could probably now point to spec-prod + new instructions.