echidna icon indicating copy to clipboard operation
echidna copied to clipboard
verified publisher icon w3c

"Setting up Echidna as a GitHub hook" wiki pages needs an update

Open marcoscaceres opened this issue 4 years ago • 0 comments

The Setting up Echidna as a GitHub hook could probably now point to spec-prod + new instructions.

marcoscaceres avatar May 06 '21 02:05 marcoscaceres