fix(ci): formal-verification — make creusot-verify prover install actually installable (refs #250)#298

hyperpolymath merged 1 commit into

mainhyperpolymath/echidna:mainfrom

fix/250-creusot-alt-ergohyperpolymath/echidna:fix/250-creusot-alt-ergoCopy head branch name to clipboard