Github action to perform stateless formal verification on some part of the codebase using Echidna#150

gustavo-grieco wants to merge 1 commit intocryptoalgebra:integral-v1.2.2cryptoalgebra/Algebra:integral-v1.2.2from

gustavo-grieco:dev-echidna-verificationgustavo-grieco/Algebra:dev-echidna-verificationCopy head branch name to clipboard